Add to ORKGAbstract. This paper introduces a non-standard semantics for a modal version of constructive KT for contextual (assumptions-based) verifi-cation. The modal fragment expresses verifiability under extensions of contexts, enjoying adapted validity and (weak) monotonocity properties depending on satisfaction of the contextual data.
In this paper we investigate the simple logical properties of contexts. We describe both the syn-tax...
Abstract. This note describes possible world semantics for a constructive modal logic CK. The system...
A semantics for quantified modal logic is presented that is based on Kleene’s notion of realizabilit...
Abstract. This paper introduces a non-standard semantics for a modal version of constructive KT for ...
This paper introduces a non-standard semantics for a modal version of constructive KT for contextual...
Contextual type theories are largely explored in their applications to programming languages, but le...
Dependent type theories using a structural notion of context are largely explored in their applicati...
Abstract Contextual logic CoL is specified through an inference system which takes into account the ...
In this research note we prove two main theoretical results. On the one hand, we prove that the axio...
International audienceWe provide a treatement of the intuitionistic 3 modality in the style of justi...
On Angelika Kratzer’s canonical account, modal expressions are represented semantically as quantifie...
AbstractWe present a logic of verified and unverified assertions and prove it sound and complete wit...
Here I discuss three puzzles about practical conditionals and inferences and show how the contextual...
this paper we investigate the consequences of relativizing these concepts to explicitly specified co...
A semantics for quantified modal logic is presented that is based on Kleene's notion of realizabilit...
In this paper we investigate the simple logical properties of contexts. We describe both the syn-tax...
Abstract. This note describes possible world semantics for a constructive modal logic CK. The system...
A semantics for quantified modal logic is presented that is based on Kleene’s notion of realizabilit...
Abstract. This paper introduces a non-standard semantics for a modal version of constructive KT for ...
This paper introduces a non-standard semantics for a modal version of constructive KT for contextual...
Contextual type theories are largely explored in their applications to programming languages, but le...
Dependent type theories using a structural notion of context are largely explored in their applicati...
Abstract Contextual logic CoL is specified through an inference system which takes into account the ...
In this research note we prove two main theoretical results. On the one hand, we prove that the axio...
International audienceWe provide a treatement of the intuitionistic 3 modality in the style of justi...
On Angelika Kratzer’s canonical account, modal expressions are represented semantically as quantifie...
AbstractWe present a logic of verified and unverified assertions and prove it sound and complete wit...
Here I discuss three puzzles about practical conditionals and inferences and show how the contextual...
this paper we investigate the consequences of relativizing these concepts to explicitly specified co...
A semantics for quantified modal logic is presented that is based on Kleene's notion of realizabilit...
In this paper we investigate the simple logical properties of contexts. We describe both the syn-tax...
Abstract. This note describes possible world semantics for a constructive modal logic CK. The system...
A semantics for quantified modal logic is presented that is based on Kleene’s notion of realizabilit...