1 - 6 of 6 articles
One of the important extensions of PDL is PDL with intersection of programs. We devote this paper to its complete axiomatization.
We introduce a general recipe for presenting non-classical logics in a modular and uniform way as labelled deduction systems. Our recipe is based on a labelling mechanism where labels are general entities that are present, in one way or another, in all logics, namely truth-values. More...
We introduce a family of preferential logics that are useful for handling information with different levels of uncertainty. The corresponding consequence relations are nonmonotonic, paraconsistent, adaptive, and rational. It is also shown that the formalisms in this family can be embedded in...
This paper discusses the relation between deontic logic and the study of conversational interactions. Special attention is given to the notion of remedial interchange as analysed by sociologists and linguistic pragmaticians. This notion is close to the one of contrary-to-duty (reparational)...
In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic and classical logics. We prove a completeness theorem for this logic with respect to a Kripke semantics. We establish some relations between mixed logic and minimal,...
The authors of [MOC 00] conjectured that intuitionistic and classical logics are asymptotically identical. Their conjecture concerns the implicational parts of these logics over k variables and is trivially true for k = 1, because implicational parts of intuitionistic and classical logics over...
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.