On interactive proof-search for constructive modal necessity

DOI10.1016/J.ENTCS.2020.10.009OpenAlexW3082747210WikidataQ113317260 ScholiaQ113317260MaRDI QIDQ2133450

Lourdes del Carmen González Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.10.009

zbMATH Keywords

sequent calculusnecessityconstructive modal logicproof-search

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

A dual-context sequent calculus for the constructive modal logic S4

Cites Work

• Unnamed Item
• Unnamed Item
• Does the deduction theorem fail for modal logic?
• Loop-free calculus for modal logic S4. I
• Lectures on the Curry-Howard isomorphism
• Proof methods for modal and intuitionistic logics
• Encoding modal logics in logical frameworks
• A judgmental reconstruction of modal logic
• A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
• Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
• A Logic of Abstract Argumentation
• A Constructive Logic for Services and Information Flow in Computer Networks
• Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
• Axiomatic and dual systems for constructive necessity, a formally verified equivalence

This page was built for publication: On interactive proof-search for constructive modal necessity