scientific article
From MaRDI portal
Publication:3791114
zbMath0647.03010MaRDI QIDQ3791114
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (24)
Resolution theorem proving in reified modal logics ⋮ Herbrand style proof procedures for modal logic ⋮ TPS: A theorem-proving system for classical type theory ⋮ Multi-modal logic programming using equational and order-sorted logic ⋮ Resolution with order and selection for hybrid logics ⋮ MGTP: A model generation theorem prover — Its advanced features and applications — ⋮ Unnamed Item ⋮ Best solving modal equations ⋮ A resolution framework for finitely-valued first-order logics ⋮ Proof-terms for classical and intuitionistic resolution ⋮ T-string unification: Unifying prefixes in non-classical proof methods ⋮ On the intuitionistic force of classical search (Extended abstract) ⋮ Converting non-classical matrix proofs into sequent-style systems ⋮ Resolution-based calculi for modal and temporal logics ⋮ Multimodal logic programming using equational and order-sorted logic ⋮ Identity in modal logic theorem proving ⋮ Multimodal logic programming ⋮ Strongly analytic tableaux for normal modal logics ⋮ Unsorted Functional Translations ⋮ On the intuitionistic force of classical search ⋮ Completeness of hyper-resolution via the semantics of disjunctive logic programs ⋮ A uniform procedure for converting matrix proofs into sequent-style systems ⋮ Automated reasoning and nonclassical logics: Introduction ⋮ Clausal resolution in a logic of rational agency
This page was built for publication:
