Temporalising tableaux
From MaRDI portal
Publication:1826368
DOI10.1023/B:STUD.0000027468.28935.6dzbMath1050.03015OpenAlexW4244421355MaRDI QIDQ1826368
Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyashchev
Publication date: 6 August 2004
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:stud.0000027468.28935.6d
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (7)
Invariant-free clausal temporal resolution ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Mechanising first-order temporal resolution ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Tableaux for logics of time and knowledge with interactions relating to synchrony ⋮ Deductive verification of simple foraging robotic behaviours
This page was built for publication: Temporalising tableaux
