Undivided and indistinguishable histories in branching-time logics

DOI10.1023/A:1008259000544zbMath0921.03024MaRDI QIDQ1289103

Alberto Zanardo

Publication date: 29 September 1999

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

zbMATH Keywords

semanticstemporal logicbranching-time logicsindistinguishable historiestree-like representation of timeundivided histories

Mathematics Subject Classification ID

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

Related Items (7)

Axiomatization of a branching time logic with indistinguishability relations ⋮ Transition semantics for branching time ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Completeness of a branching-time logic with possible choices ⋮ An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate ⋮ The truth about the future ⋮ Indistinguishability, choices, and logics of agency

This page was built for publication: Undivided and indistinguishable histories in branching-time logics