The MET: The Art of Flexible Reasoning with Modalities

DOI10.1007/978-3-319-99906-7_19zbMath1518.68416OpenAlexW2888373273MaRDI QIDQ6104769

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

rule-based reasoningvarying domain semanticsflexible reasoningmodal logic systeminput problem statement

Mathematics Subject Classification ID

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

Related Items (1)

Extensional higher-order paramodulation in Leo-III

Cites Work

• Unnamed Item
• Unnamed Item
• The higher-order prover \textsc{Leo}-II
• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• Isabelle/HOL. A proof assistant for higher-order logic
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• The higher-order prover Leo-III
• Quantified multimodal logics in simple type theory
• Satallax: An Automatic Higher-Order Prover
• Theorem Provers For Every Normal Modal Logic
• Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder

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