Switch to: Citations

References in:

Critical notice

Synthese 40 (2):353-373 (1979)

Add references

You must login to add references.
  1. Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
  • On Engendering an Illusion of Understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
  • The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.
  • An Introduction to Modal Logic.[author unknown] - 1974 - Tijdschrift Voor Filosofie 36 (1):154-156.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  • Dialectical Logic, Classical Logic, and the Consistency of the World.Richard Routley & Robert K. Meyer - 1976 - Studies in East European Thought 16 (1-2):1-25.
  • An Extension of S4 Complete for the Neighbourhood Semantics but Incomplete for the Relational Semantics.Martin Serastian Gerson - 1975 - Studia Logica 34 (4):333-342.
  • Formal Properties of 'Now'.Hans Kamp - 1971 - Theoria 37 (3):227-273.
  • A Normal Modal Calculus Between T and S4 Without the Finite Model Property.David Makinson - 1969 - Journal of Symbolic Logic 34 (1):35-38.
    The first example of an intuitively meaningful propositional logic without the finite model property, and still the simplest one in the literature. The question of its decidability appears still to be open.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • A Generalisation of the Concept of a Relational Model for Modal Logic.David Makinson - 1970 - Theoria 36 (3):331-335.
    Generalises the concept of a relational model for modal logic, due to Kripke, so as to obtain a closer correspondence between relational and algebraic models. The generalisation obtained is essentially equivalent to the notion of a "first-order" model that was defined independently by S.K.Thomason.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Dialectical Logic, Classical Logic, and the Consistency of the World.Richard Routley & Robert K. Meyer - 1976 - Studies in Soviet Thought 16 (1-2):1-25.
  • Modal Logics with Linear Alternative Relations.Krister Segerberg - 1970 - Theoria 36 (3):301-322.
  • The Logics Containing S 4.3.Kit Fine - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):371-376.
  • To the Memory of Arthur Prior Formal Properties of ‘Now’.Hans Kamp - 1971 - Theoria 37 (3):227-273.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  • An Incompleteness Theorem in Modal Logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.