Modal logic S4F and the minimal knowledge paradigm

Authors:
Grigori Schwarz;Miroslaw Truszczyński
Affiliations:
University of Delaware, Newark, DE;University of Kentucky, Lexington, KY
Venue:
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Year:
1992

Citing 9
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Possible-world semantics for autoepistemic logic

Readings in nonmonotonic reasoning
On the relation between default and autoepistemic logic

Artificial Intelligence
All I know: a study in autoepistemic logic

Artificial Intelligence
Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
Towards a theory of knowledge and ignorance: preliminary report

Logics and models of concurrent systems
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
Epistemic Semantics for Fixed-Points Non-Monotonic Logics

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
Autoepistemic Modal Logics

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a new semantic model and the corresponding syntactic characterization for autoepistemic reasoning. In contrast with the well-known work of Moore [Moo85], who proposed an autoepistemic logic of self-belief, our goal is to propose an autoepistemic logic of self-knowledge.