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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… Expand
  • table 1
  • table 2
Highly Cited
2009
Highly Cited
2009
Many champions of environmental accounting suggest that calculating and internalizing 'externalities' is the solution to… Expand
Highly Cited
2008
Highly Cited
2008
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is… Expand
Highly Cited
2006
Highly Cited
2006
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common… Expand
  • figure 1
  • figure 2
2006
2006
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
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
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
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
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
  • 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