Skip to search formSkip to main contentSkip to account menu

Epistemic modal logic

Known as: Knowledge or truth axiom, Negative introspection axiom, Distribution axiom 
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships… 
Highly Cited
2009
Highly Cited
2009
While temporal logic in its various forms has proven essential to reason about reactive systems, agent-based scenarios are… 
Highly Cited
2008
Highly Cited
2008
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is… 
Highly Cited
2006
Highly Cited
2006
Highly Cited
2005
Highly Cited
2005
Plato's tripartite definition of knowledge as justified true belief (JTB) is generally regarded as a set of necessary conditions… 
Highly Cited
2003
Highly Cited
2003
Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification… 
Review
1998
Review
1998
This paper is the result of combining two traditions in formal logic: epistemic logic and dynamic semantics. Dynamic semantics is… 
Highly Cited
1997
Highly Cited
1997
In this paper we introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent… 
Highly Cited
1995
Highly Cited
1995
  • J. Meyer, W. Hoek
  • Cambridge tracts in theoretical computer science
  • 1995
  • Corpus ID: 58717684
From the Publisher: Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science…