Add to ORKGMost normal modal logics have been constructed as axiomatic systems rather than natural deduction. However, a lot of them have Gentzen-style or Kalish-Montague-style counterparts. Unfortunately, very few systems have Słupecki-Borkowski-style natural deduction counterparts. To fill in the gap is an aim of the present paper. The system K is developed as a Leśniewski-Borkowski-style natural deduction system in two ways. Equivalence of the systems is proved. A way is described to develop other normal systems beginning with the given system K
We investigate modal deduction through translation into standard logic and set theory. In a previous...
Possible world semantics underlies many of the applications of modal logic in computer science and p...
In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (mod...
International audienceWe extend to natural deduction the approach of Linear Nested Sequents and of 2...
We extend to natural deduction the approach of Linear Nested Sequents and of 2-Sequents. Formulas ar...
We extend to natural deduction the approach of Linear Nested Sequents and of 2-Sequents. Formulas ar...
We present a Natural Deduction system for the logic GL of Arithmetic Provability. The classical moda...
International audienceIn this paper we study natural deduction for the intuitionistic and classical ...
AbstractNatural deduction systems for classical, intuitionistic and modal logics were deeply investi...
AbstractIn the proof-theoretic study of logic, the notion of normal proof has been understood and in...
Various sources in the literature claim that the deduction theorem does not hold for normal modal or...
Various sources in the literature claim that the deduction theorem does not hold for normal modal or...
We present a formalization of propositional modal logic in the framework of Labelled Deductive Syste...
AbstractNatural deduction systems for classical, intuitionistic and modal logics were deeply investi...
A formalização de sistemas de lógica em dedução natural traz muitas vantagens meta-teoréticas, das q...
We investigate modal deduction through translation into standard logic and set theory. In a previous...
Possible world semantics underlies many of the applications of modal logic in computer science and p...
In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (mod...
International audienceWe extend to natural deduction the approach of Linear Nested Sequents and of 2...
We extend to natural deduction the approach of Linear Nested Sequents and of 2-Sequents. Formulas ar...
We extend to natural deduction the approach of Linear Nested Sequents and of 2-Sequents. Formulas ar...
We present a Natural Deduction system for the logic GL of Arithmetic Provability. The classical moda...
International audienceIn this paper we study natural deduction for the intuitionistic and classical ...
AbstractNatural deduction systems for classical, intuitionistic and modal logics were deeply investi...
AbstractIn the proof-theoretic study of logic, the notion of normal proof has been understood and in...
Various sources in the literature claim that the deduction theorem does not hold for normal modal or...
Various sources in the literature claim that the deduction theorem does not hold for normal modal or...
We present a formalization of propositional modal logic in the framework of Labelled Deductive Syste...
AbstractNatural deduction systems for classical, intuitionistic and modal logics were deeply investi...
A formalização de sistemas de lógica em dedução natural traz muitas vantagens meta-teoréticas, das q...
We investigate modal deduction through translation into standard logic and set theory. In a previous...
Possible world semantics underlies many of the applications of modal logic in computer science and p...
In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (mod...