Publication:4329239
From MaRDI portal
zbMath0993.03017MaRDI QIDQ4329239
Renate A. Schmidt, Harald Ganzinger, Ullrich Hustadt, Christoph Meyer
Publication date: 29 April 2002
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
Related Items
Harald Ganzinger’s Legacy: Contributions to Logics and Programming, First-Order Resolution Methods for Modal Logics, Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, Automated theorem proving by resolution in non-classical logics