Semantical Considerations on Modal Logic

@inproceedings{Kripke2012SemanticalCO,
  title={Semantical Considerations on Modal Logic},
  author={S. Kripke},
  year={2012}
}
615 Citations

Topics from this paper

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
Contingent Free Choice: On Extending Quantum Theory to a Contextual, Deterministic Theory With Improved Predictive Power
  • 1
  • Highly Influenced
  • PDF
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
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
...