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

Related topics

Related topics

17 relations
Alethic modalityCommon knowledge (logic)Doxastic logicDynamic epistemic logic

Broader (1)

Artificial intelligence

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Facebook and the epistemic logic of friendship
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
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
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
THE LOGIC OF JUSTIFICATION
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is… 
Highly Cited
2006
Highly Cited
2006
Logics of communication and change
Highly Cited
2005
Highly Cited
2005
Introducing Justification into Epistemic Logic
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
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications
Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification… 
Review
1998
Review
1998
Dynamic epistemic logic
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
Reasoning about Information Change
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
Epistemic logic for AI and computer science
  • 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… 
Highly Cited
1986
Highly Cited
1986
The Synthesis of Digital Machines With Provable Epistemic Properties
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