Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,609,592 papers from all fields of science
Search
Sign In
Create Free Account
Modal logic
Known as:
⟠
, Alethic logic
, Contingent truth
Expand
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
50 relations
Abductive reasoning
Accessibility relation
Accident (philosophy)
Actualism
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Handbook of Modal Logic
P. Blackburn
,
J. Benthem
,
F. Wolter
Studies in logic and practical reasoning
2007
Corpus ID: 122372974
Part 1. Basic Theory Modal Logic: A Semantic Perspective (J. van Benthem and P. Blackburn) Modal Proof Theory (M. Fitting…
Expand
Review
2004
Review
2004
Modal logic
R. Spencer-Smith
Artificial Intelligence Review
2004
Corpus ID: 5782309
This paper surveys the main concepts and systems of modal logic. It shows how the tree or tableau method provides a simple and…
Expand
Highly Cited
1991
Highly Cited
1991
A propositional modal logic of time intervals
Joseph Y. Halpern
,
Y. Shoham
JACM
1991
Corpus ID: 5307889
In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are…
Expand
Highly Cited
1988
Highly Cited
1988
A modal process logic
K. Larsen
,
Bent Thomsen
[] Proceedings. Third Annual Information…
1988
Corpus ID: 31286926
A novel logic is introduced for the introduction of nondeterministic and concurrent processes expressed in a process algebra. For…
Expand
Highly Cited
1980
Highly Cited
1980
Modal Logic - An Introduction
Brian F. Chellas
1980
Corpus ID: 117662818
Contents Preface Part I: 1. Introduction 2. Logical preliminaries Part II: 3. Standard models for modal logics: 4. Normal systems…
Expand
Highly Cited
1977
Highly Cited
1977
The Computational Complexity of Provability in Systems of Modal Propositional Logic
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…
Expand
Highly Cited
1968
Highly Cited
1968
A New Introduction to Modal Logic
M. Cresswell
,
G. Hughes
1968
Corpus ID: 1164487
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A…
Expand
Highly Cited
1968
Highly Cited
1968
Counterpart Theory and Quantified Modal Logic
David Lewis
1968
Corpus ID: 2416708
you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may…
Expand
Highly Cited
1963
Highly Cited
1963
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Saul Kripke
1963
Corpus ID: 18604212
Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The…
Expand
Highly Cited
1959
Highly Cited
1959
A completeness theorem in modal logic
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…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE