Topological aspects of branching-time semantics

DOI10.1023/B:STUD.0000009560.90259.dezbMath1040.03011OpenAlexW1986587029MaRDI QIDQ1419382

Michela Sabbadin, Alberto Zanardo

Publication date: 14 January 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000009560.90259.de

zbMATH Keywords

topological semanticsbranching-time temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (4)

Moment/history duality in Prior's logics of branching-time ⋮ Unnamed Item ⋮ Indistinguishability, choices, and logics of agency ⋮ Quantification over sets of possible worlds in branching-time semantics

This page was built for publication: Topological aspects of branching-time semantics