Przeglądaj Bulletin of the Section of Logic według tematu "Modal logic"
Wyświetlanie pozycji 1-2 z 2
-
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer ... -
A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen ...