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 (opens in a new tab)

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.
2010
2010
Epistemic Term-Modal Logic
In the present paper syntax, constant domain semantics with non-rigid constants and an axiom system for n agent systems with… 
Highly Cited
2008
Highly Cited
2008
Towards verifying contract regulated service composition
We report on a novel approach to (semi-)automatically compile and verify contract-regulated service compositions implemented as… 
2008
2008
The indexicality of ‘knowledge’
Epistemic contextualism—the view that the content of the predicate ‘know’ can change with the context of utterance—has fallen… 
Highly Cited
2007
Highly Cited
2007
Topology and Epistemic Logic
We present the main ideas behind a number of logical systems for reasoning about points and sets that incorporate knowledge… 
Highly Cited
2006
Highly Cited
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… 
Highly Cited
2005
Highly Cited
2005
Graphoid properties of epistemic irrelevance and independence
This paper investigates Walley's concepts of epistemic irrelevance and epistemic independence for imprecise probability models… 
2004
2004
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic
This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time… 
Review
1996
Review
1996
Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract)
Epistemic logic, or the logic of the concepts of knowledge and belief, has become a major tool for knowledge representation… 
1994
1994
Formal Semantics of Temporal Epistemic Reflection
In this paper we show how a formal semantics can be given to reasoning processes in meta-level architectures that reason about… 
1986
1986
Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic
Theories of knowledge representation and reasoning about knowledge in philosophy are considered from the vantage point of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)