Skip to search formSkip to main contentSkip to account menu

Modal logic

Known as: , Alethic logic, Contingent truth 
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Part 1. Basic Theory Modal Logic: A Semantic Perspective (J. van Benthem and P. Blackburn) Modal Proof Theory (M. Fitting… 
Review
2004
Review
2004
This paper surveys the main concepts and systems of modal logic. It shows how the tree or tableau method provides a simple and… 
Highly Cited
1991
Highly Cited
1991
In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are… 
Highly Cited
1988
Highly Cited
1988
A novel logic is introduced for the introduction of nondeterministic and concurrent processes expressed in a process algebra. For… 
Highly Cited
1980
Highly Cited
1980
Contents Preface Part I: 1. Introduction 2. Logical preliminaries Part II: 3. Standard models for modal logics: 4. Normal systems… 
Highly Cited
1977
Highly Cited
1977
  • R. Ladner
  • SIAM J. Comput.
  • 1977
  • Corpus ID: 2006027
The computational complexity of the provability problem in systems of modal propositional logic is investigated. Every problem… 
Highly Cited
1968
Highly Cited
1968
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A… 
Highly Cited
1968
Highly Cited
1968
you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may… 
Highly Cited
1963
Highly Cited
1963
Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The… 
Highly Cited
1959
Highly Cited
1959
  • Saul Kripke
  • Journal of Symbolic Logic
  • 1959
  • Corpus ID: 44300271
The present paper attempts to state and prove a completeness theorem for the system S5 of [1], supplemented by first-order…