Add to ORKGThis 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
AbstractWe take a fresh look at some major strands in John McCarthy's work from a logician's perspec...
A general framework for translating various logical systems is presented, including a set of partial...
The purpose of this paper is to expand the syntax and semantics of logic programs and disjunctive da...
textabstractThis paper presents logics for reasoning about extension and reduction of partial inform...
We show how to use model classes of partial logic to define semantics of general knowledge-based rea...
ABSTRACT. In this paper, we present several extensions of epistemic logic with update operators mode...
Taking our inspiration from modal correspondence theory, we present the idea of correspondence analy...
We present an overview of some sequent calculi organised not for "theorem-proving" but for proof se...
International audienceDynamic Epistemic Logic (DEL) deals with the representation and the study in a...
Imagine that you are not sure how the Hilbert-style calculus for S4 looks like, and somebody has tak...
The context of this paper is the problem of merging data provided by several information sources, wh...
In this paper we show how ideas coming from two areas of research in logic can reinforce each other....
Devising adaptive logics usually starts with a set of abnormalities and a deductive logic. Where the...
AbstractIn this paper, we discuss an extension of Partial Deduction in the framework of structured l...
We study the problem of local and asynchronous computation in the context of multiplicative exponent...
AbstractWe take a fresh look at some major strands in John McCarthy's work from a logician's perspec...
A general framework for translating various logical systems is presented, including a set of partial...
The purpose of this paper is to expand the syntax and semantics of logic programs and disjunctive da...
textabstractThis paper presents logics for reasoning about extension and reduction of partial inform...
We show how to use model classes of partial logic to define semantics of general knowledge-based rea...
ABSTRACT. In this paper, we present several extensions of epistemic logic with update operators mode...
Taking our inspiration from modal correspondence theory, we present the idea of correspondence analy...
We present an overview of some sequent calculi organised not for "theorem-proving" but for proof se...
International audienceDynamic Epistemic Logic (DEL) deals with the representation and the study in a...
Imagine that you are not sure how the Hilbert-style calculus for S4 looks like, and somebody has tak...
The context of this paper is the problem of merging data provided by several information sources, wh...
In this paper we show how ideas coming from two areas of research in logic can reinforce each other....
Devising adaptive logics usually starts with a set of abnormalities and a deductive logic. Where the...
AbstractIn this paper, we discuss an extension of Partial Deduction in the framework of structured l...
We study the problem of local and asynchronous computation in the context of multiplicative exponent...
AbstractWe take a fresh look at some major strands in John McCarthy's work from a logician's perspec...
A general framework for translating various logical systems is presented, including a set of partial...
The purpose of this paper is to expand the syntax and semantics of logic programs and disjunctive da...