Decidability via Mosaics for Bundled Ockhamist Logic

  • Alberto Gatto
  • Published 2015 in
    2015 22nd International Symposium on Temporal…


We adapt the 'mosaics' technique of Reynolds 1997 (in turn an adaption of Németi 1986) achieving decidability for the (non local) Ockhamist logic of (upward endless) bundled trees. We produce a double exponential time procedure, thus improving the complexity upper bound of the problem - so far relying on the non elementary procedure of the Rabin's… (More)
DOI: 10.1109/TIME.2015.10

Cite this paper

@article{Gatto2015DecidabilityVM, title={Decidability via Mosaics for Bundled Ockhamist Logic}, author={Alberto Gatto}, journal={2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)}, year={2015}, pages={131-139} }