Non-definability of the class of complete bundled trees

DOI10.1093/jigpal/7.1.125zbMath0919.03019OpenAlexW2007505115MaRDI QIDQ4238504

Alberto Zanardo, Bruno Barcellan, M. A. Reynolds

Publication date: 30 March 1999

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

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

zbMATH Keywords

semanticsdefinabilitytemporal logichistoriescomplete bundled treesOckhamist branching-time logicquantification over bundles

Mathematics Subject Classification ID

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

Related Items (4)

Transition semantics for branching time ⋮ Unnamed Item ⋮ An axiomatization of full Computation Tree Logic ⋮ Indistinguishability, choices, and logics of agency

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