Computational Space Efficiency and Minimal Model Generation for Guarded Formulae

DOI10.1007/3-540-45653-8_6zbMath1275.68091OpenAlexW1526350529MaRDI QIDQ2996155

Renate A. Schmidt, Ullrich Hustadt, Lilia Georgieva

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45653-8_6

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items

Hyperresolution for guarded formulae, First-Order Resolution Methods for Modal Logics, A Tableau Calculus for Minimal Modal Model Generation, A new methodology for developing deduction methods