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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
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
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
“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
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
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
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
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
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
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
We introduce a fundamental propositional logical system based on modal logic for describing correctness, termination and… (More)
Is this relevant?