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.
2017
2017
Substructural Logics for Pooling Information
This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on… 
Review
2016
Review
2016
Dynamic Epistemic Logic
Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied… 
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… 
2009
2009
On BAN logic and hash functions or: how an unjustified inference rule causes problems
BAN logic, an epistemic logic for analyzing security protocols, contains an unjustifiable inference rule. The inference rule… 
2008
2008
Towards verifying compliance in agent-based web service compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the… 
Highly Cited
2006
Highly Cited
2006
Logic and the Modalities in the Twentieth Century
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… 
1998
1998
Intra-Agent Modality and Nonmonotonic Epistemic Logic
It is plausible to think that simulation is perhaps the most important reasoning tool that we have for user modeling. This is… 
1990
1990
Computing Stable Models by Using the ATMS
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the… 
1978
1978
A Bi-Modal Characterization of Epistemic Logic
In now classic `Knowledge and Belief' (Hintikka [6]) Hintikka analyzed knowing and believing from a standpoint of many-world… 
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)