Add to ORKGInternational audienceWe provide a treatement of the intuitionistic 3 modality in the style of justification logic. We introduce a new type of terms, called witness terms, that justify consistency, obtain justification analogs for the constructive modal logics CK, CD, CT, and CS4, and prove the realization theorem for them
It is a well-known result by G ̈odel in 1933 that the Intuitionistic Logic can be embedded into a sy...
This thesis explores self-referentiality in the framework of justification logic. In this framework ...
In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. Th...
International audienceWe provide a treatement of the intuitionistic 3 modality in the style of justi...
Justification logics are constructive analogues of modal logics. As such, they provide perspicuous m...
Previous intuitionistic justification logics included explicit justifications for all admissible ...
Justification logics are connected to modal logics via realization theorems. These have both con-str...
AbstractJustification logics are refinements of modal logics, where justification terms replace moda...
Justification logics are a family of modal logics whose non-normal modalities are parametrised by a ...
Justification logics are refinements of modal logics where modalities are replaced by justification ...
AbstractConstructive modal logics come in several different flavours and constructive description lo...
In this paper, we will sketch the basic system of Justification Logic, which is a general logical fr...
This paper introduces a non-standard semantics for a modal version of constructive KT for contextual...
Systems of explicit modal logic provide a powerful framework for characterizing modal concepts as ar...
We present constructive provability logic, an intuitionstic modal logic that validates the L¨ob rule...
It is a well-known result by G ̈odel in 1933 that the Intuitionistic Logic can be embedded into a sy...
This thesis explores self-referentiality in the framework of justification logic. In this framework ...
In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. Th...
International audienceWe provide a treatement of the intuitionistic 3 modality in the style of justi...
Justification logics are constructive analogues of modal logics. As such, they provide perspicuous m...
Previous intuitionistic justification logics included explicit justifications for all admissible ...
Justification logics are connected to modal logics via realization theorems. These have both con-str...
AbstractJustification logics are refinements of modal logics, where justification terms replace moda...
Justification logics are a family of modal logics whose non-normal modalities are parametrised by a ...
Justification logics are refinements of modal logics where modalities are replaced by justification ...
AbstractConstructive modal logics come in several different flavours and constructive description lo...
In this paper, we will sketch the basic system of Justification Logic, which is a general logical fr...
This paper introduces a non-standard semantics for a modal version of constructive KT for contextual...
Systems of explicit modal logic provide a powerful framework for characterizing modal concepts as ar...
We present constructive provability logic, an intuitionstic modal logic that validates the L¨ob rule...
It is a well-known result by G ̈odel in 1933 that the Intuitionistic Logic can be embedded into a sy...
This thesis explores self-referentiality in the framework of justification logic. In this framework ...
In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. Th...