Add to ORKGAbstract Contextual logic CoL is specified through an inference system which takes into account the context of reasoning, i.e. all given facts whatsoever. That is to say, conclusions are inferred with respect to the full set of premises. Hence, statements are relative to a context and they are expressed by means of formulas indexed with sets of formulas. A modal extension ECoL is also proposed for which examples are given that illustrate how natural it is to apply such a logic for the formalization of non-monotonic reasoning
We give a logic for formulas Á¡± Ã, with the informal reading ”à is true in the context described b...
In this research note we prove two main theoretical results. On the one hand, we prove that the axio...
We present a general proof method for normal systems of modal predicate logic with identical inferen...
Context Logic (CL) is a logic in the original sense, but more than that, it is a methodology for des...
This paper introduces a non-standard semantics for a modal version of constructive KT for contextual...
similar style of reasoning about structured data. They each consist of a structural (separating) com...
In this paper we address ground logics, a family of nonmonotonic modal logics, and their usage in kn...
Abstract. This paper introduces a non-standard semantics for a modal version of constructive KT for ...
International audienceBuilding on a simple modal logic of context, the paper presents a dynamic logi...
We propose an alternative non-monotonic modal formalism called non-monotonic modal logic of belief. ...
One of the highlights of recent informal epistemology is its growing theoretical emphasis upon vario...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
Recently, conditional logics have been developed for ap-plication to problems in default reasoning. ...
We propose a rigorous denition of the notion of typicality, making use of the strict partial order n...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
We give a logic for formulas Á¡± Ã, with the informal reading ”à is true in the context described b...
In this research note we prove two main theoretical results. On the one hand, we prove that the axio...
We present a general proof method for normal systems of modal predicate logic with identical inferen...
Context Logic (CL) is a logic in the original sense, but more than that, it is a methodology for des...
This paper introduces a non-standard semantics for a modal version of constructive KT for contextual...
similar style of reasoning about structured data. They each consist of a structural (separating) com...
In this paper we address ground logics, a family of nonmonotonic modal logics, and their usage in kn...
Abstract. This paper introduces a non-standard semantics for a modal version of constructive KT for ...
International audienceBuilding on a simple modal logic of context, the paper presents a dynamic logi...
We propose an alternative non-monotonic modal formalism called non-monotonic modal logic of belief. ...
One of the highlights of recent informal epistemology is its growing theoretical emphasis upon vario...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
Recently, conditional logics have been developed for ap-plication to problems in default reasoning. ...
We propose a rigorous denition of the notion of typicality, making use of the strict partial order n...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
We give a logic for formulas Á¡± Ã, with the informal reading ”à is true in the context described b...
In this research note we prove two main theoretical results. On the one hand, we prove that the axio...
We present a general proof method for normal systems of modal predicate logic with identical inferen...