Non-definability of the class of complete bundled trees
From MaRDI portal
Publication:4238504
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
semanticsdefinabilitytemporal logichistoriescomplete bundled treesOckhamist branching-time logicquantification over bundles
Related Items
Transition semantics for branching time, Unnamed Item, An axiomatization of full Computation Tree Logic, Indistinguishability, choices, and logics of agency