Moment/history duality in Prior's logics of branching-time

DOI10.1007/S11229-005-5519-4zbMath1108.03023OpenAlexW2039775562MaRDI QIDQ857669

Alberto Zanardo

Publication date: 20 December 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-005-5519-4

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Related Items (3)

Системы временной логики I: моменты, истории, деревья ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ First-order definability of transition structures

Cites Work

• Unnamed Item
• Unnamed Item
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Decidability for branching time
• Special issue in memory of P. S. Alexandroff. Part 2
• Topological aspects of branching-time semantics
• Temporal logic. From ancient ideas to artificial intelligence
• The unreal future
• Branching-time logic with quantification over branches: The point of view of modal logic

This page was built for publication: Moment/history duality in Prior's logics of branching-time