Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,086,139 papers from all fields of science
Search
Sign In
Create Free Account
Epistemic modal logic
Known as:
Knowledge or truth axiom
, Negative introspection axiom
, Distribution axiom
Expand
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Alethic modality
Common knowledge (logic)
Doxastic logic
Dynamic epistemic logic
Expand
Broader (1)
Artificial intelligence
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Substructural Logics for Pooling Information
V. Punčochář
,
I. Sedlár
Logic, Rationality, and Interaction
2017
Corpus ID: 206761461
This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on…
Expand
Review
2016
Review
2016
Dynamic Epistemic Logic
A. Baltag
,
B. Renne
2016
Corpus ID: 171014128
Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied…
Expand
2010
2010
Epistemic Term-Modal Logic
R. K. Rendsvig
2010
Corpus ID: 125605326
In the present paper syntax, constant domain semantics with non-rigid constants and an axiom system for n agent systems with…
Expand
2009
2009
On BAN logic and hash functions or: how an unjustified inference rule causes problems
W. Teepe
Autonomous Agents and Multi-Agent Systems
2009
Corpus ID: 9304735
BAN logic, an epistemic logic for analyzing security protocols, contains an unjustifiable inference rule. The inference rule…
Expand
2008
2008
Towards verifying compliance in agent-based web service compositions
A. Lomuscio
,
Hongyang Qu
,
M. Solanki
Adaptive Agents and Multi-Agent Systems
2008
Corpus ID: 1812178
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the…
Expand
Highly Cited
2006
Highly Cited
2006
Logic and the Modalities in the Twentieth Century
D. Gabbay
,
J. Woods
Handbook of the History of Logic
2006
Corpus ID: 29361629
2004
2004
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic
M. Kacprzak
,
W. Penczek
Synthese
2004
Corpus ID: 1910770
This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time…
Expand
1998
1998
Intra-Agent Modality and Nonmonotonic Epistemic Logic
R. Thomason
Theoretical Aspects of Rationality and Knowledge
1998
Corpus ID: 5094491
It is plausible to think that simulation is perhaps the most important reasoning tool that we have for user modeling. This is…
Expand
1990
1990
Computing Stable Models by Using the ATMS
K. Eshghi
AAAI Conference on Artificial Intelligence
1990
Corpus ID: 12068009
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the…
Expand
1978
1978
A Bi-Modal Characterization of Epistemic Logic
Arata Ishimoto
1978
Corpus ID: 120440220
In now classic `Knowledge and Belief' (Hintikka [6]) Hintikka analyzed knowing and believing from a standpoint of many-world…
Expand
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)
ACCEPT & CONTINUE