Semantical Considerations on Modal Logic

@inproceedings{Kripke2012SemanticalCO,
  title={Semantical Considerations on Modal Logic},
  author={S. Kripke},
  year={2012}
}
View via Publisher
615 Citations
Highly Influential Citations
49
Background Citations
220
Methods Citations
92
Results Citations
5

Topics from this paper

      615 Citations

      Citation Type

      Citation Type

      EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations
      • 5
      • Highly Influenced
      Kripke Semantics of the Perfectly Transparent Equilibrium
      • G. Fourny
      • Computer Science, Mathematics
      • ArXiv
      • 2018
      • 1
      • Highly Influenced
      • PDF
      Provability Interpretation of Propositional and Modal Logics
      • Highly Influenced
      • PDF
      Coalgebras for the powerset functor and Thomason duality
      • Highly Influenced
      • PDF
      G N ] 1 2 A ug 2 02 0 MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
      • Highly Influenced
      Contingent Free Choice: On Extending Quantum Theory to a Contextual, Deterministic Theory With Improved Predictive Power
      • 1
      • Highly Influenced
      • PDF
      Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics
      • Highly Influenced
      Complexity and information flow analysis for multi-threaded programs
      • 7
      • Highly Influenced
      • PDF
      Security check for multi-threaded programs
      • T. Ngo, T. Nguyen
      • Computer Science
      • 2016 IEEE Sixth International Conference on Communications and Electronics (ICCE)
      • 2016
      • Highly Influenced
      Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem
      • 3
      • Highly Influenced
      • PDF
      ...
      1
      2
      3
      4
      5
      ...

      References

      SHOWING 1-10 OF 14 REFERENCES
      Modality and Quantification
      • 61
      Mathematical logic
      • 1,893
      Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
      • 1,128
      • PDF
      A Completeness Theorem in Modal Logic
      • S. Kripke
      • Mathematics, Computer Science
      • J. Symb. Log.
      • 1959
      • 828
      • PDF
      Existential Presuppositions and Existential Commitments
      • 57
      Nondesignating singular terms
      • 39
      A Remark on Free Choice Sequences and the Topological Completeness Proofs
      • G. Kreisel
      • Mathematics, Computer Science
      • J. Symb. Log.
      • 1958
      • 44
      Time And Modality
      • 648
      Modality and Quantification in S5
      • A. Prior
      • Mathematics, Computer Science
      • J. Symb. Log.
      • 1956
      • 65
      Introduction to Metamathematics
      • 3,853
      ...
      1
      2
      ...