Synchronizing diachronic uncertainty

DOI10.1007/S10849-010-9122-9MaRDI QIDQ548700zbMATH OpenOpenAlexFDO

Authors Alistair Isaac, Tomohiro Hoshi

Publication date 30 June 2011

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/14802118/ISSAC_Synchronizing_Diachronic_Uncertainty.pdf

zbMATH Keywords

Sleeping Beautyepistemic temporal logicabsent-minded driverabsent-mindednessdiachronic uncertainty

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Recommendations

• Logics of temporal-epistemic actions
• Dynamic epistemic temporal logic
• Temporal interaction of information and belief
• Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
• Dynamic epistemic logic with branching temporal structures

Cites work

• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• On the interpretation of decision problems with imperfect recall
• The forgetful passenger

Cited in

(2)

• Quantified temporal alethic boulesic doxastic logic
• Logic and complexity in cognitive science

This page was built for publication: Synchronizing diachronic uncertainty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548700)