Add to ORKGAbstract. We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel’s modified realizability and Gödel’s Dialectica is presented, and several small applications are given. We also discuss how the hybrid interpretation relates to variants of Dialectica and modified realizability with non-computational quantifiers
Introduction. Hybrid logics are extensions of orthodox modal logics in which it is possible to name ...
International audienceIn this paper, we present a modern reformulation of the Dialectica interpretat...
We adapt our light Dialectica interpretation to usual and light modalformulas (with universal quanti...
We present three different functional interpretations of intuitionisticlinear logic ILL and show how...
AbstractThis paper surveys several computational interpretations of classical linear logic based on ...
Abstract. We survey several computational interpretations of classical linear logic based on two-pla...
Hybrid logics are an extension of modal logics where it is possible to refer to a specific state, t...
AbstractLogical connectives familiar from the study of hybrid logic can be added to the logical fram...
The modal operators usually associated with the notions of possibility and necessity are classically...
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an ext...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal lang...
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are ...
AbstractThis paper discusses a bimodal hybrid language with a sub-modality (called the irreflexive m...
Hybrid languages are expansions of propositional modal languages which can refer to (or even quantif...
Hybrid logics were proposed as a way of boosting the expressivity of modal logics via a novel mechan...
Introduction. Hybrid logics are extensions of orthodox modal logics in which it is possible to name ...
International audienceIn this paper, we present a modern reformulation of the Dialectica interpretat...
We adapt our light Dialectica interpretation to usual and light modalformulas (with universal quanti...
We present three different functional interpretations of intuitionisticlinear logic ILL and show how...
AbstractThis paper surveys several computational interpretations of classical linear logic based on ...
Abstract. We survey several computational interpretations of classical linear logic based on two-pla...
Hybrid logics are an extension of modal logics where it is possible to refer to a specific state, t...
AbstractLogical connectives familiar from the study of hybrid logic can be added to the logical fram...
The modal operators usually associated with the notions of possibility and necessity are classically...
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an ext...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal lang...
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are ...
AbstractThis paper discusses a bimodal hybrid language with a sub-modality (called the irreflexive m...
Hybrid languages are expansions of propositional modal languages which can refer to (or even quantif...
Hybrid logics were proposed as a way of boosting the expressivity of modal logics via a novel mechan...
Introduction. Hybrid logics are extensions of orthodox modal logics in which it is possible to name ...
International audienceIn this paper, we present a modern reformulation of the Dialectica interpretat...
We adapt our light Dialectica interpretation to usual and light modalformulas (with universal quanti...