Non-definability of the class of complete bundled trees

DOI10.1093/JIGPAL/7.1.125MaRDI QIDQ4238504zbMATH OpenOpenAlexFDO

Authors Alberto Zanardo, Bruno Barcellan, Mark Alexander Reynolds

Publication date 30 March 1999

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/da909c556cdaf449cfbdf8fe8a920be52b969de9

zbMATH Keywords

complete bundled treesdefinabilityhistoriesOckhamist branching-time logicquantification over bundlessemanticstemporal logic

Mathematics Subject Classification ID

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

Recommendations

• Branching-time logic with quantification over branches: The point of view of modal logic
• Topological aspects of branching-time semantics
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• Axiomatization of a branching time logic with indistinguishability relations

Cited in

(6)

• Topological aspects of branching-time semantics
• does not imply the existence of a Suslin tree
• Indistinguishability, choices, and logics of agency
• An axiomatization of full computation tree logic
• Transition semantics for branching time
• scientific article; zbMATH DE number 7795665 (Why is no real title available?)

This page was built for publication: Non-definability of the class of complete bundled trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4238504)