The MET: The Art of Flexible Reasoning with Modalities

DOI10.1007/978-3-319-99906-7_19MaRDI QIDQ6104769zbMATH OpenOpenAlexFDO

Authors Tobias Gleißner, Alexander Steen

Publication date 28 June 2023

Published in Rules and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99906-7_19

zbMATH Keywords

flexible reasoninginput problem statementmodal logic systemrule-based reasoningvarying domain semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Higher-order modal logics: automation and applications
• Theorem provers for every normal modal logic
• Quantified multimodal logics in simple type theory
• Verifying the modal logic cube is an easy task (for higher-order automated reasoners)
• Exploring properties of normal multimodal logics in simple type theory with \texttt{Leo-II}

Cites work

• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• scientific article; zbMATH DE number 5850137 (Why is no real title available?)
• scientific article; zbMATH DE number 1809862 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Nitpick: a counterexample generator for higher-order logic based on a relational model finder
• Quantified multimodal logics in simple type theory
• Satallax: An Automatic Higher-Order Prover
• The higher-order prover \textsc{Leo}-II
• The higher-order prover Leo-III
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Theorem provers for every normal modal logic

Cited in

(7)

• Software tool support for modular reasoning in modal logics of actions
• Extensional higher-order paramodulation in Leo-III
• Higher-order modal logics: automation and applications
• Verifying the modal logic cube is an easy task (for higher-order automated reasoners)
• Automated Reasoning with Analytic Tableaux and Related Methods
• Solving modal logic problems by translation to higher-order logic
• Non-classical logics in satisfiability modulo theories

This page was built for publication: The MET: The Art of Flexible Reasoning with Modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6104769)