scientific article
From MaRDI portal
Publication:2751374
zbMath0992.03020MaRDI QIDQ2751374
Publication date: 21 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicfirst-order logicintuitionistic logicproof systemsconnection-driven searchlabelled systemsprefixed systems
Modal logic (including the logic of norms) (03B45) Canonical structure (93B10) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics ⋮ Liberalized variable splitting ⋮ A proof-search procedure for intuitionistic propositional logic ⋮ leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) ⋮ A Non-clausal Connection Calculus ⋮ Proof Search for the First-Order Connection Calculus in Maude ⋮ Specifying and Verifying Organizational Security Properties in First-Order Logic ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ From Schütte’s Formal Systems to Modern Automated Deduction
