Add to ORKGInternational audienceCombinatorial proofs form a syntax-independent presentation of proofs, originally proposed by Hughes for classical propositional logic. In this paper we present a notion of combinatorial proofs for the constructive modal logics CK and CD, we show soundness and completeness of combinatorial proofs by translation from and to sequent calculus proofs, and we discuss the notion of proof equivalence enforced by these translations
AbstractMasini, A., 2-Sequent calculus: a proof theory of modalities, Annals of Pure and Applied Log...
AbstractSimple modal logics for Milner's SCCS and CCS are presented. We offer sound and complete axi...
International audienceWe present Intuitionistic Combinatorial Proofs (ICPs), a concrete geometric se...
International audienceCombinatorial proofs form a syntax-independent presentation of proofs, origina...
In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. Th...
International audienceIn this paper we extend Hughes’ combinatorial proofs to modal logics. The cruc...
In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light o...
A system for the modal logic K furnishes a simple mechanical process for proving theorems
International audienceWe present deductive systems for various modal logics that can be obtained fro...
AbstractCombinatorial proofs are abstract invariants for sequent calculus proofs, similarly to homot...
We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Buildi...
We define game semantics for the constructive $\mu$-calculus and prove its correctness. We use these...
We present an overview of some sequent calculi organised not for "theorem-proving" but for proof se...
AbstractProofs Without Syntax [Hughes, D.J.D. Proofs Without Syntax. Annals of Mathematics 2006 (to ...
This paper is dedicated to extending and adapting to modal logic the approach of fractional semantic...
AbstractMasini, A., 2-Sequent calculus: a proof theory of modalities, Annals of Pure and Applied Log...
AbstractSimple modal logics for Milner's SCCS and CCS are presented. We offer sound and complete axi...
International audienceWe present Intuitionistic Combinatorial Proofs (ICPs), a concrete geometric se...
International audienceCombinatorial proofs form a syntax-independent presentation of proofs, origina...
In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. Th...
International audienceIn this paper we extend Hughes’ combinatorial proofs to modal logics. The cruc...
In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light o...
A system for the modal logic K furnishes a simple mechanical process for proving theorems
International audienceWe present deductive systems for various modal logics that can be obtained fro...
AbstractCombinatorial proofs are abstract invariants for sequent calculus proofs, similarly to homot...
We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Buildi...
We define game semantics for the constructive $\mu$-calculus and prove its correctness. We use these...
We present an overview of some sequent calculi organised not for "theorem-proving" but for proof se...
AbstractProofs Without Syntax [Hughes, D.J.D. Proofs Without Syntax. Annals of Mathematics 2006 (to ...
This paper is dedicated to extending and adapting to modal logic the approach of fractional semantic...
AbstractMasini, A., 2-Sequent calculus: a proof theory of modalities, Annals of Pure and Applied Log...
AbstractSimple modal logics for Milner's SCCS and CCS are presented. We offer sound and complete axi...
International audienceWe present Intuitionistic Combinatorial Proofs (ICPs), a concrete geometric se...