Minimal Temporal Epistemic Logic
Open Access
- 1 April 1996
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 37 (2) , 233-259
- https://doi.org/10.1305/ndjfl/1040046088
Abstract
This paper we will be especially interested in subjective formulaesince they describe (only) the knowledge and ignorance of the agent. As we want to talkabout properties of the knowledge of the agent changing over time, this language will betemporalized below.In the usual S5 semantics a model is a triple (W, R,Keywords
This publication has 13 references indexed in Scilit:
- A temporal model theory for default logicPublished by Springer Nature ,2005
- Temporal theories of reasoningPublished by Springer Nature ,2005
- Specification of nonmonotonic reasoningPublished by Springer Nature ,1996
- Complexity Results for Nonmonotonic LogicsJournal of Logic and Computation, 1992
- On finding extensions of default theoriesPublished by Springer Nature ,1992
- Adding a temporal dimension to a logic systemJournal of Logic, Language and Information, 1992
- A Catalog of Complexity ClassesPublished by Elsevier ,1990
- Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyPublished by Springer Nature ,1989
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- The Computational Complexity of Provability in Systems of Modal Propositional LogicSIAM Journal on Computing, 1977