MSPASS

swMATH17667MaRDI QIDQ29522

No author found.

Related Items (23)

Unnamed Item ⋮ Simulation and Synthesis of Deduction Calculi ⋮ MleanCoP: A Connection Prover for First-Order Modal Logic ⋮ Extensional higher-order paramodulation in Leo-III ⋮ Capturing equilibrium models in modal logic ⋮ Reasoning about plan revision in BDI agent programs ⋮ Optimizing terminological reasoning for expressive description logics ⋮ Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning ⋮ First-Order Resolution Methods for Modal Logics ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ A Foundational View on Integration Problems ⋮ An assumption-based approach for solving the minimal S5-satisfiability problem ⋮ The higher-order prover Leo-III ⋮ Unnamed Item ⋮ Solving the \$100 modal logic challenge ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ The Tableau Workbench ⋮ Automated Deduction – CADE-19 ⋮ A new methodology for developing deduction methods ⋮ Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3--7, 2000. Proceedings ⋮ HOL Based First-Order Modal Logic Provers ⋮ A subset-matching size-bounded cache for testing satisfiability in modal logics

This page was built for software: MSPASS