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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
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 is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied… 
2010
2010
In the present paper syntax, constant domain semantics with non-rigid constants and an axiom system for n agent systems with… 
2009
2009
BAN logic, an epistemic logic for analyzing security protocols, contains an unjustifiable inference rule. The inference rule… 
2008
2008
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the… 
2004
2004
This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time… 
1998
1998
It is plausible to think that simulation is perhaps the most important reasoning tool that we have for user modeling. This is… 
1990
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the… 
1978
1978
In now classic `Knowledge and Belief' (Hintikka [6]) Hintikka analyzed knowing and believing from a standpoint of many-world…