An extended branching-time Ockhamist temporal logic

DOI10.1023/A:1008398102653zbMath0920.03030OpenAlexW2140616794MaRDI QIDQ1288173

Valentin F. Goranko, Mark A. Brown

Publication date: 11 May 1999

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

Full work available at URL: https://doi.org/10.1023/a:1008398102653

zbMATH Keywords

difference operatoraxiomatic systembranching-time temporal logicbundle tree semanticsdivided historiesOckhamist semanticspossible futures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics ⋮ Obligation, contracts, and negotiation: Outlining an approach

This page was built for publication: An extended branching-time Ockhamist temporal logic