FAQ

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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1944-2017
010020019442016

Related topics

Related topics

50 relations
Abductive reasoningAccessibility relationAccidentActualism
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Modal logic
Temporal logic
Computer science
Artificial intelligence
Polish notation
Plan

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
This paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A Modal Logic for Coalitional Power in Games
We present a modal logic for reasoning about what groups of agents can bring about by collective action. Given a set of states… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Dynamic logic
“Written by three of the leading researchers in the field, this book is without doubt the most comprehensive introduction to… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Anytime, Anywhere: Modal Logics for Mobile Ambients
The Ambient Calculus is a process calculus where processes may reside within a hierarchy of locations and modify it. The purpose… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Complexity of Modal Logics of Relations
We consider two families of modal logics of relations: arrow logic and cylindric modal logic and several natural expansions of… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Why is Modal Logic So Robustly Decidable?
In the last 20 years modal logic has been applied to numerous areas of computer science, including artificial intelligence… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Generalization of Rough Sets using Modal Logics
The theory of rough sets is an extension of set theory with two additional unary set-theoretic operators deened based on a binary… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The proof theory and semantics of intuitionistic modal logic
Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard… (More)
  • figure 2–1
  • figure 2–2
  • figure 2–3
  • figure 2–6
  • figure 3–1
Is this relevant?
Highly Cited
1982
Highly Cited
1982
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Tradmonal logics suffer from the "monotomclty problem"' new axioms never mvahdate old theorems One way to get nd of this problem… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Propositional Dynamic Logic of Regular Programs
We introduce a fundamental propositional logical system based on modal logic for describing correctness, termination and… (More)
Is this relevant?