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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
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
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
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
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
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
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
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
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
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
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?