Inconsistency-adaptive modal logics. On how to cope with modal inconsistency
نویسندگان
چکیده
منابع مشابه
INCONSISTENCY–ADAPTIVE MODAL LOGICS On How to Cope with Modal Inconsistency
In this paper, I will characterize a new class of inconsistency–adaptive logics, namely inconsistency–adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency–adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the intended part of human...
متن کاملSome Computational Aspects of Inconsistency-Adaptive Logics
This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. The procedure forms an algorithm for final derivability and may easily be generalized for the propositional fragment of all flat adaptive logics. The aim is to articulate a procedure that, if extended to the predicative level, provides criteria for
متن کاملLogics of Deontic Inconsistency
The Logics of Formal Inconsistency (LFIs) are paraconsistent logics which internalize the notions of consistency and inconsistency by means of connectives. Based on that idea, in this paper we propose two deontic systems in which contradictory obligations are allowed, without trivializing the system. Thus, from conflicting obligations Oφ and O¬φ contained in (or derived from) an information set...
متن کاملHow Not to Combine Modal Logics
This paper describes a failed attempt to decompose the fusion of two non-normal modal logics as a composition of iterated nonnormal modalisations. That strategy had already succeeded in the transfer of soundness, completeness and decidability for normal modal logics, but we show here why it fails for the transference of some of these properties in the fusion non-normal modal logics. The possibi...
متن کاملAn Inductive Modal Approach for the Logic of Epistemic Inconsistency
a 6 : 1, pp. 136 – 155, 2010 AN INDUCTIVE MODAL APPROACH FOR THE LOGIC OF EPISTEMIC INCONSISTENCY 1
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2010
ISSN: 1425-3305
DOI: 10.12775/llp.2010.003