Non-definability of the class of complete bundled trees
From MaRDI portal
Publication:4238504
DOI10.1093/jigpal/7.1.125zbMath0919.03019MaRDI 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
semantics; definability; temporal logic; histories; complete bundled trees; Ockhamist branching-time logic; quantification over bundles
03B45: Modal logic (including the logic of norms)
Related Items
Unnamed Item, Transition semantics for branching time, Indistinguishability, choices, and logics of agency, An axiomatization of full Computation Tree Logic