Nested sequent calculi and theorem proving for normal conditional logics (original) (raw)
Related papers
Nested sequent calculi for normal conditional logics
Journal of Logic and Computation, 2013
Nested sequent calculi for conditional logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012
NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics
Lecture Notes in Computer Science, 2014
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic, 2007
Sequent Calculi with Context Restrictions and Applications to Conditional Logic
2013
Theorem proving for conditional logics: CondLean and GOALD U CK
Journal of Applied Non-Classical Logics, 2008
Nested Sequents for the Logic of Conditional Belief
Lecture Notes in Computer Science, 2019
Automated Reasoning for Conditional Logics: the Theorem Prover Condlean 3.1
SEQUENT SYSTEMS FOR MODAL LOGICS
Nested Sequents for Quantified Modal Logics
arXiv (Cornell University), 2023
CondLean 3.0: Improving CondLean for stronger conditional logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005
Implementation of a cut-free sequent calculus for logics with adjoint modalities
University of St Andrews, …, 2009
A dual-context sequent calculus for the constructive modal logic S4
Mathematical Structures in Computer Science, 2022
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
ACM Transactions on Computational Logic
2005
Bunched Hypersequent Calculi for Distributive Substructural Logics
A Goal-Directed Calculus for Standard Conditional Logics
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
Logic Journal of the IGPL, 2005
Hypersequent Rules with Restricted Contexts for Propositional Modal Logics (Preprint)
Cut-free Ordinary Sequent Calculi for Logics Having Finite-Valued Semantics
2006
Implementing a relational theorem prover for modal logic
Angel Edecio Malaguera Mora Mora
International Journal of Computer Mathematics
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics
Logica Universalis, 2007
First-order modal logic theorem proving and standard PROLOG
1992
Sequent-Type Proof Systems for Three-Valued Default Logic
Cornell University - arXiv, 2019
Proving Structural Properties of Sequent Systems in Rewriting Logic
Rewriting Logic and Its Applications, 2018
Sequent Calculi for Global Modal Consequence Relations
Studia Logica
2011
Refining Labelled Systems for Modal and Constructive Logics with Applications
2021
Mollusc a General Proof-Development Shell for Sequent-Based Logics
Automated DeductionCADE- …, 1994
A General Proof Method for First-Order Modal Logic
International Joint Conference on Artificial Intelligence, 1987
Sequent-calculi for metainferential logics
Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics
Studies in Fuzziness and Soft Computing, 2003
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
2021
arXiv (Cornell University), 2019
Proof analysis in intermediate logics
2012