Add to ORKGtextabstractThis paper presents logics for reasoning about extension and reduction of partial information states. This enterprise amounts to non-persistent variations of certain constructive logics, in particular the so-called logic of constructible falsity of [Nelson 1949.]. We provide simple semantics, sequential calculi, completeness and decidability proofs
Abstract. David Nelson’s constructive logics with strong negation may be viewed as alternative parac...
We present a unifying semantic and proof-theoretical framework for investigating depth-bounded appro...
The purpose of this paper is to expand the syntax and semantics of logic programs and disjunctive da...
This paper presents logics for reasoning about extension and reduction of partial information states...
This paper presents a new partial logic that generalizes the traditional proposition and first order...
We advocate using the declarative reading in proving partial correctness of logic programs, when the...
PART I (Partial-valued Languages): In Chapter I we consider modes of sentence composition and ask wh...
ABSTRACT. We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect...
"Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate ...
The idea of belief revision is strictly connected with the notion of contraction given by the set of...
Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-va...
ABSTRACT. In this paper, we present several extensions of epistemic logic with update operators mode...
International audienceFor a class of propositional information logics defined from Pawlak's informat...
In formal logic, both semantic entailment and the conditional connective are used to formalize the i...
AbstractIn this paper, we discuss an extension of Partial Deduction in the framework of structured l...
Abstract. David Nelson’s constructive logics with strong negation may be viewed as alternative parac...
We present a unifying semantic and proof-theoretical framework for investigating depth-bounded appro...
The purpose of this paper is to expand the syntax and semantics of logic programs and disjunctive da...
This paper presents logics for reasoning about extension and reduction of partial information states...
This paper presents a new partial logic that generalizes the traditional proposition and first order...
We advocate using the declarative reading in proving partial correctness of logic programs, when the...
PART I (Partial-valued Languages): In Chapter I we consider modes of sentence composition and ask wh...
ABSTRACT. We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect...
"Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate ...
The idea of belief revision is strictly connected with the notion of contraction given by the set of...
Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-va...
ABSTRACT. In this paper, we present several extensions of epistemic logic with update operators mode...
International audienceFor a class of propositional information logics defined from Pawlak's informat...
In formal logic, both semantic entailment and the conditional connective are used to formalize the i...
AbstractIn this paper, we discuss an extension of Partial Deduction in the framework of structured l...
Abstract. David Nelson’s constructive logics with strong negation may be viewed as alternative parac...
We present a unifying semantic and proof-theoretical framework for investigating depth-bounded appro...
The purpose of this paper is to expand the syntax and semantics of logic programs and disjunctive da...