Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic

DOI10.1007/978-3-030-68446-4_17OpenAlexW3130967043MaRDI QIDQ2119125

Paul Tarau

Publication date: 23 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-68446-4_17

zbMATH Keywords

propositional intuitionistic logicautomatic synthesis of logic systemsderiving new theorem provers via program synthesisembedding of modal logics into intuitionistic logicepistemic intuitionistic logicprolog-based theorem provers

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis

Uses Software

• fCube

Cites Work

• Unnamed Item
• Unnamed Item
• Evaluating epistemic negation in answer set programming
• Computations in fragments of intuitionistic propositional logic
• Intuitionistic propositional logic is polynomial-space complete
• On extensions of intermediate logics by strong negation
• New Semantics for Epistemic Specifications
• Contraction-free sequent calculi for intuitionistic logic
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• fCube: An Efficient Prover for Intuitionistic Propositional Logic
• A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
• INTUITIONISTIC EPISTEMIC LOGIC
• Inductive logic programming

This page was built for publication: Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic