Modal logic in computer science

Keywords

Normal modal logic, Accessibility relation, Computer science, Modal, Modal logic

References

• On Integrity ConstraintsRaymond Reiter — 1988
• A completeness theorem in the modal logic of programsKrister Segerberg — 1982
• SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGICRobert Goldblatt — 1976
• Deontic Logic: Introductory and Systematic ReadingsRisto Hilpinen — 1981
• The Knowledge Complexity of Interactive Proof SystemsShafi Goldwasser, Silvio Micali, Charles Rackoff — 1989
• Relationships Between Nondeterministic and Deterministic Tape ComplexitiesWalter J. Savitch — 1970
• Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and CompletenessMordechai Ben‐Ari, Joseph Y. Halpern, Amir Pnueli — 1982
• Word problems requiring exponential time(Preliminary Report)Larry J. Stockmeyer, Albert R. Meyer — 1973
• Propositional Dynamic Logic of FlowchartsDavid Harel, R. W. Sherman — 1983
• Dynamic algebras and the nature of inductionVaughan Pratt — 1980
• Knowledge and common knowledge in a distributed environmentJoseph Y. Halpern, Yoram Moses — 1984
• A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential MethodMasahiko Sato — 1977
• The complexity of theorem-proving proceduresStephen Cook — 1971
• AN AXIOMATIC CHARACTERIZATION OF COMMON KNOWLEDGEPaul Milgrom — 1981
• Concurrent dynamic logicDavid Peleg — 1985
• Propositional Dynamic Logic of Regular ProgramsMichael J. Fischer, Richard E. Ladner — 1979
• The Computational Complexity of Provability in Systems of Modal Propositional LogicRichard E. Ladner — 1977
• Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiSaul A. Kripke — 1963
• A Guide to Completeness and Complexity for Modal Logics of Knowledge and BeliefJoseph Y. Halpern, Yoram Moses — 1992
• The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract)Joseph Y. Halpern, John H. Reif — 1981

Cited by

No citing papers recorded for this paper.

Related papers

• A generalization of modal logicJerzy Słupecki — 1971
• Modal Logic and the Logic of ApplicabilityA. N. Prior — 2008
• Modal Logic and Its ApplicationsM. J. Cresswell, Donald Paul Snyder — 1971
• Two-dimensional modal logicKrister Segerberg — 1973
• Basic modal logicMelvin Fitting — 1993
• Modal logic as second-order logicJ.F.A.K. van Benthem — 1977
• An Introduction to Modal LogicE. J. Lemmon, Dana Scott, Krister Segerberg — 1977