Switch to: Citations

Add references

You must login to add references.
  1. Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Four dialogue systems.Jim Mackenzie - 1990 - Studia Logica 49 (4):567 - 583.
    The paper describes four dialogue systems, developed in the tradition of Charles Hamblin. The first system provides an answer for Achilles in Lewis Carroll's parable, the second an analysis of the fallacy of begging the question, the third a non-psychologistic account of conversational implicature, and the fourth an analysis of equivocation and of objections to it. Each avoids combinatorial explosions, and is intended for real-time operation.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
    Given a normal (multi-)modal logic a characterization is given of the finitely presentable algebras A whose logics L A split the lattice of normal extensions of . This is a substantial generalization of Rautenberg [10] and [11] in which is assumed to be weakly transitive and A to be finite. We also obtain as a direct consequence a result by Blok [2] that for all cycle-free and finite A L A splits the lattice of normal extensions of K. Although we (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Handbook of Philosophical Logic.[author unknown] - 1983 - .
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
    This paper gives a characterization of those quasi-normal extensions of the modal system S4 into which intuitionistic propositional logic Int is embeddable by the Gödel translation. It is shown that, as in the normal case, the set of quasi-normal modal companions of Int contains the greatest logic, M*, for which, however, the analog of the Blok-Esakia theorem does not hold. M* is proved to be decidable and Halldén-complete; it has the disjunction property but does not have the finite model property.
    Download  
     
    Export citation  
     
    Bookmark   2 citations