Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

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

Broader (1)

Artificial intelligence

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… Expand
  • table 1
  • table 2
Highly Cited
2009
Highly Cited
2009
Toward a different debate in environmental accounting: The cases of carbon and cost–benefit
Many champions of environmental accounting suggest that calculating and internalizing 'externalities' is the solution to… Expand
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… Expand
Highly Cited
2006
Highly Cited
2006
Logics of communication and change
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common… Expand
  • figure 1
  • figure 2
2006
2006
Evidence Reconstruction of Epistemic Modal Logic S5
We introduce the logic of proofs whose modal counterpart is the modal logic S5. The language of Logic of Proofs LP is extended by… Expand
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… Expand
Highly Cited
2004
Highly Cited
2004
Logical foundations of peer-to-peer data integration
In peer-to-peer data integration, each peer exports data in terms of its own schema, and data interoperation is achieved by means… Expand
  • figure 1
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… Expand
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… Expand
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… 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