scientific article; zbMATH DE number 1735878

zbMath0993.03017MaRDI QIDQ4329239

Ullrich Hustadt, Harald Ganzinger, Renate A. Schmidt, Christoph Meyer

Publication date: 29 April 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

resolution decision proceduretransitive propositional modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (6)

Automated theorem proving by resolution in non-classical logics ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ First-Order Resolution Methods for Modal Logics ⋮ Modal Satisfiability via SMT Solving

This page was built for publication: