How to (plan to) meet a deadline between now and then
From MaRDI portal
Publication:2785841
DOI10.1093/LOGCOM/7.1.109zbMath0865.68114OpenAlexW1979593694MaRDI QIDQ2785841
No author found.
Publication date: 21 April 1997
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/7.1.109
Related Items (3)
Temporalizing Modal Epistemic Logic ⋮ Active logic semantics for a single agent in a static world ⋮ Temporal agent programs
This page was built for publication: How to (plan to) meet a deadline between now and then