- On the Transitivity of Logical Consequence without Assuming Monotonicity.Lin Chen & Xuefeng Wen - forthcoming - Logica Universalis:1-16.details
|
|
The inapplicability of (selected) paraconsistent logics.Rafal Urbaniak & Paweł Siniło - 2014 - Journal of Applied Non-Classical Logics 24 (4):368-383.details
|
|
“Platonic” thought experiments: how on earth?Rafal Urbaniak - 2012 - Synthese 187 (2):731-752.details
|
|
Majority merging by adaptive counting.Giuseppe Primiero & Joke Meheus - 2008 - Synthese 165 (2):203 - 223.details
|
|
Getting the Most Out of Inconsistency.Gillman Payette - 2015 - Journal of Philosophical Logic 44 (5):573-592.details
|
|
Inconsistencies and the dynamics of science.Joke Meheus - 2003 - Logic and Logical Philosophy 11:129-148.details
|
|
An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.Joke Meheus* - 2006 - Journal of Philosophical Logic 35 (6):539-567.details
|
|
Lost in translation: Language independence in propositional logic – application to belief change.Pierre Marquis & Nicolas Schwind - 2014 - Artificial Intelligence 206 (C):1-24.details
|
|
Belief merging in absence of reliability information.Paolo Liberatore - 2022 - Synthese 200 (4):1-42.details
|
|
Logic Based Merging.Sébastien Konieczny & Ramón Pino Pérez - 2011 - Journal of Philosophical Logic 40 (2):239-270.details
|
|
DA2 merging operators.S. Konieczny, J. Lang & P. Marquis - 2004 - Artificial Intelligence 157 (1-2):49-79.details
|
|
Belief base merging as a game.Sébastien Konieczny - 2004 - Journal of Applied Non-Classical Logics 14 (3):275-294.details
|
|
On the measure of conflicts: Shapley Inconsistency Values.Anthony Hunter & Sébastien Konieczny - 2010 - Artificial Intelligence 174 (14):1007-1026.details
|
|
Disjunctive merging: Quota and Gmin merging operators.Patricia Everaere, Sébastien Konieczny & Pierre Marquis - 2010 - Artificial Intelligence 174 (12-13):824-849.details
|
|
On Ignorance and Contradiction Considered as Truth-Values.Didier Dubois - 2008 - Logic Journal of the IGPL 16 (2):195-216.details
|
|
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2020 - Studia Logica 109 (1):167-238.details
|
|
Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases.Sihem Belabbes & Salem Benferhat - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):561-581.details
|
|
Yes fellows, most human reasoning is complex.Diderik Batens, Kristof De Clercq, Peter Verdée & Joke Meheus - 2009 - Synthese 166 (1):113-131.details
|
|
The theory of the process of explanation generalized to include the inconsistent case.Diderik Batens - 2005 - Synthese 143 (1-2):63 - 88.details
|
|
Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case.Diderik Batens & Timothy Vermeir - 2002 - Journal of Applied Non-Classical Logics 12 (1):63-84.details
|
|
A procedural criterion for final derivability in inconsistency-adaptive logics.Diderik Batens - 2005 - Journal of Applied Logic 3 (1):221-250.details
|
|
A postulate-driven study of logical argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2023 - Artificial Intelligence 322 (C):103966.details
|
|
Active logic semantics for a single agent in a static world.Michael L. Anderson, Walid Gomaa, John Grant & Don Perlis - 2008 - Artificial Intelligence 172 (8-9):1045-1063.details
|
|
Logical limits of abstract argumentation frameworks.Leila Amgoud & Philippe Besnard - 2013 - Journal of Applied Non-Classical Logics 23 (3):229-267.details
|
|
How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report.Rafael Testa, Eduardo Fermé, Marco Garapa & Maurício Reis - 2018 - 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING.details
|
|