FAQ

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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1972-2018
020406019722018

Related topics

Related topics

16 relations
Alethic modalityCommon knowledgeDoxastic logicDynamic epistemic logic
(More)

Broader (1)

Artificial intelligence

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Epistemic modal logic
Artificial intelligence
Game theory
Modal logic
Kripke semantics
Epistemic closure

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Temporalizing Modal Epistemic Logic
Timed Modal Epistemic Logic, tMEL, is a newly introduced logical framework for reasoning about the modeled agent's knowledge. The… (More)
Is this relevant?
2010
2010
A Modal Logic of Epistemic Games
We propose some variants of a multi-modal logic of joint action, preference and knowledge that support reasoning about epistemic… (More)
  • figure 1
  • table 1
  • figure 3
Is this relevant?
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… (More)
Is this relevant?
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… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
We study peer-to-peer data integration, where each peer models an autonomous system that exports data in terms of its own schema… (More)
  • figure 1
Is this relevant?
2003
2003
Probabilistic Dynamic Epistemic Logic
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Tractable multiagent planning for epistemic goals
An epistemic goal is a goal about the knowledge possessed by an agent or group of agents. In this paper, we address the problem… (More)
  • figure 1
  • figure 2
Is this relevant?
1992
1992
Graded Modalities in Epistemic Logic
We propo~ an epistemic logic with so-called graded modalities, in which certain types of knowledge are expressible that are less… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
The Synthesis of Digital Machines With Provable Epistemic Properties
Researchers using epistemic logic as a formal framework for studying knowledge properties of AI systems often interpret the… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
On Epistemic Logic and Logical Omniscience
We consider the logical omniscience problem of epistemic logic. We argue that the problem is due to the way in which knowledge… (More)
Is this relevant?