Prediction in branching time logic

DOI10.1002/1521-3870(200105)47:2%3C239::AID-MALQ239%3E3.0.CO;2-RzbMATH Open0997.03017OpenAlexW2062586133MaRDI QIDQ2720329

Giacomo Bonanno

Publication date: 11 November 2002

Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/1521-3870(200105)47:2%3C239::aid-malq239%3E3.0.co;2-r

zbMATH Keywords

tense logicbranching timebelieflogic of predictionspredicted future

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

This page was built for publication: Prediction in branching time logic

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