DOIAbstract
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of various provability operators (which apply to sentences) or predicates (which apply to sentence names)
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of various provability operators (which apply to sentences) or predicates (which apply to sentence names)
Mathematicians prove theorems in a semi-formal setting, providing what we'll call informal proofs. T...
We present a novel formulation of the modal logic CPL, a constructive logic of provability that is c...
AbstractThe intended meaning of intuitionistic logic is explained by the Brouwer-Heyting-Kolmogorov ...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
The goal of our research is to highlight the connection between modal provability theory and defaul...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
Classical logic of formal provability includes Lob's theorem, but not reflection. In contrast, intui...
Classical logic of formal provability includes Lob's theorem, but not reflection. In contrast, intui...
We present constructive provability logic, an intuitionstic modal logic that validates the L¨ob rule...
Despite the wide acceptance of standard modal logic, there has always been a temptation to...
Despite the wide acceptance of standard modal logic, there has always been a temptation to...
Despite the wide acceptance of standard modal logic, there has always been a temptation to...
Mathematicians prove theorems in a semi-formal setting, providing what we'll call informal proofs. T...
Mathematicians prove theorems in a semi-formal setting, providing what we'll call informal proofs. T...
We present a novel formulation of the modal logic CPL, a constructive logic of provability that is c...
AbstractThe intended meaning of intuitionistic logic is explained by the Brouwer-Heyting-Kolmogorov ...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
The goal of our research is to highlight the connection between modal provability theory and defaul...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
Classical logic of formal provability includes Lob's theorem, but not reflection. In contrast, intui...
Classical logic of formal provability includes Lob's theorem, but not reflection. In contrast, intui...
We present constructive provability logic, an intuitionstic modal logic that validates the L¨ob rule...
Despite the wide acceptance of standard modal logic, there has always been a temptation to...
Despite the wide acceptance of standard modal logic, there has always been a temptation to...
Despite the wide acceptance of standard modal logic, there has always been a temptation to...
Mathematicians prove theorems in a semi-formal setting, providing what we'll call informal proofs. T...
Mathematicians prove theorems in a semi-formal setting, providing what we'll call informal proofs. T...
We present a novel formulation of the modal logic CPL, a constructive logic of provability that is c...
AbstractThe intended meaning of intuitionistic logic is explained by the Brouwer-Heyting-Kolmogorov ...
Add to ORKG