Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic

DOI10.1093/logcom/exr010zbMath1260.03027arXiv1010.0225OpenAlexW2103532931MaRDI QIDQ2893317

Andreas Witzel

Publication date: 20 June 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1010.0225

zbMATH Keywords

complete axiomatizationepistemic temporal logicinterpreted systemsperfect recallframe conditionnext-step temporal operators

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (1)

The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

This page was built for publication: Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic