BiBfile on Adaptive Logics:
Papers (and sections of books) on adaptive logics [Table of contents]
[Back]
@ARTICLE{PA:li&ac,
author = {Patrick Allo},
year = {2006},
title = {Local Informatyion and Adaptive Consequence},
journal = {Logique et Analyse},
volume = {196},
pages = {461--488},
annote =
{info} }
[Back]
@INCOLLECTION{D:tool,
author = {Diderik Batens},
title = {Dynamic Dialectical Logics as a Tool to Deal with
and Partly Eliminate Unexpected Inconsistencies},
pages = {263--271},
crossref = {H&V85},
annote = {1985},
annote =
{info} }
[Back]
@ARTICLE{D:ddfl,
bestand = {[scan]},
author = {Diderik Batens},
year = {1986},
title = {Dialectical dynamics within formal logics},
journal = {Logique et Analyse},
volume = {114},
pages = {161--173},
annote =
{info} }
[Back]
@INCOLLECTION{D:ddl,
bestand = {[scan]},
author = {Diderik Batens},
title = {Dynamic dialectical logics},
pages = {187--217},
crossref = {PR&N},
annote = {1989},
annote =
{info} }
[Back]
@INCOLLECTION{D:ftal,
bestand = {[scan]},
author = {Diderik Batens},
annote = {1996},
title = {Functioning and teachings of adaptive logics},
pages = {241--254},
crossref = {VBVEG&V},
annote =
{info} }
[Back]
@ARTICLE{D:i&b,
bestand = {[scan]},
author = {Diderik Batens},
year = {1997},
title = {Inconsistencies and Beyond.
{A} Logical-Philosophical Discussion},
journal = {Revue Internationale de Philosophie},
volume = {200},
pages = {259--273},
annote =
{info} }
[Back]
@ARTICLE{D:blocks,
bestand = {[scan]},
author = {Diderik Batens},
year = {1995},
title = {Blocks. {T}he clue to dynamic aspects of logic},
journal = {Logique et Analyse},
volume = {150--152},
pages = {285--328},
note = {Appeared 1997},
annote =
{info} }
[Back]
@ARTICLE{D:dsial,
author = {Diderik Batens},
title = {A Dynamic Semantics for Inconsistency-Adaptive Logics},
journal = {Bulletin of the Section of Logic},
volume = {27},
pages = {15--18},
year = {1998},
annote =
{info} }
[Back]
@INCOLLECTION{D:dynsem,
author = {Diderik Batens},
title = {Dynamic Semantics Applied to Inconsistency-Adaptive Logics},
pages = {74--85},
crossref = {LI98},
annote = {1998},
annote =
{info} }
[Back]
@INCOLLECTION{D:ial,
bestand = {[scan]},
author = {Diderik Batens},
title = {Inconsistency-Adaptive Logics},
pages = {445--472},
crossref = {EO:ras},
annote = {1999},
annote =
{info} }
[Back]
@ARTICLE{D:CL0,
author = {Diderik Batens},
title = {Zero Logic Adding Up to Classical Logic},
year = {1999},
journal = {Logical Studies},
volume = {2},
pages = {15},
note = {(Electronic Journal:
{\small\texttt{http://www.logic.ru/LogStud/02/LS2.html}})},
annote =
{info} }
[Back]
@INCOLLECTION{D:surv-ial,
author = {Diderik Batens},
title = {A Survey of Inconsistency-Adaptive Logics},
pages = {49--73},
crossref = {D&CMGPJpVB},
annote= {2000},
annote =
{info} }
[Back]
@ARTICLE{D:minmod,
bestand = {[scan]},
author = {Diderik Batens},
title = {Minimally abnormal models in some adaptive logics},
journal = {Synthese},
volume = {125},
year = {2000},
pages = {5--18},
annote =
{info} }
[Back]
@INCOLLECTION{D:clash,
author = {Diderik Batens},
title = {Rich inconsistency-adaptive logics. {T}he clash between
heuristic efficiency and realistic reconstruction},
pages = {513--543},
crossref = {FB&EG},
annote = {2000},
annote =
{info} }
[Back]
@ARTICLE{D:l&om,
bestand = {[scan]},
author = {Diderik Batens},
title = {Linguistic and Ontological Measures
for Comparing the Inconsistent Parts of Models},
journal = {Logique et Analyse},
volume= {165--166},
year = {1999},
pages = {5--33},
note = {Appeared 2002},
annote =
{info} }
[Back]
@ARTICLE{D:unific,
bestand = {[scan]},
author = {Diderik Batens},
title = {Towards the Unification of Inconsistency Handling Mechanisms},
journal = {Logic and Logical Philosophy},
volume = {8},
pages = {5--31},
year = {2000},
note = {Appeared 2002},
annote =
{info} }
[Back]
@INCOLLECTION{D:uaal,
author = {Diderik Batens},
title = {A Universally Abnormality-Adaptive Logic},
pages = {256--265},
crossref = {LI01},
annote = {2001},
note = {Appeared 2002},
annote =
{info} }
[Back]
@INCOLLECTION{D:defprog,
author = {Diderik Batens},
title = {In Defence of a Programme for Handling Inconsistencies},
crossref = {J:iis},
pages = {129--150},
annote = {2002},
annote =
{info} }
[Back]
@INCOLLECTION{D:pdmdp,
author = {Diderik Batens},
title = {On a Partial Decision Method for Dynamic Proofs},
crossref = {pcl02},
pages = {91--108},
annote = {2002},
note = {Also available as cs.LO/0207090 at
\texttt{http://arxiv.org/archive/cs/intro.html}},
annote =
{info} }
[Back]
@ARTICLE{D:scaial,
author = {Diderik Batens},
title = {Some Computational Aspects of Inconsistency-Adaptive logics},
journal = {CLE e-Prints},
volume= {2(7)},
year = {2002},
pages = {15~pp.},
note = {\verb"http://www.cle.unicamp.br/e-prints/abstract_16.html"},
annote =
{info} }
[Back]
@ARTICLE{D:gcal,
bestand = {[scan]},
author = {Diderik Batens},
title = {A General Characterization of Adaptive Logics},
journal = {Logique et Analyse},
volume= {173--175},
year = {2001},
pages = {45--68},
note = {Appeared 2003},
annote =
{info} }
[Back]
@ARTICLE{D:gluts,
bestand = {[scan]},
author = {Diderik Batens},
title = {Criteria Causing Inconsistencies.
{G}eneral Gluts as Opposed to Negation Gluts},
journal = {Logic and Logical Philosophy},
volume = {11/12},
pages = {5--37},
year = {2003},
annote =
{info} }
[Back]
@INCOLLECTION{D:salzburg,
bestand = {[scan]},
author = {Diderik Batens},
title = {Extending the Realm of Logic.
{T}he Adaptive-Logic Programme},
crossref = {PW:al},
pages = {149--164},
annote = {2004},
annote =
{info} }
[Back]
@ARTICLE{D:pcfdial,
bestand = {online via ScienceDirect [scan]},
author = {Diderik Batens},
title = {A Procedural Criterion for Final Derivability
in Inconsistency-Adaptive Logics},
journal = {Journal of Applied Logic},
volume = {3},
pages = {221--250},
year= {2005},
annote =
{info} }
[Back]
@ARTICLE{D:RMs,
bestand = {[scan]},
author = {Diderik Batens},
title = {A Strengthening of the {R}escher--{M}anor Consequence Relations},
journal = {Logique et Analyse},
volume = {183--184},
year = {2003},
pages = {289--313},
note = {Appeared 2005},
annote =
{info} }
[Back]
@INCOLLECTION{D:induct1,
author = {Diderik Batens},
title = {On a Logic of Induction},
pages = {221--242},
crossref = {FA&P1},
year = {2005},
note = {(Contains uncorrected proofs; see \cite{D:induct1a} for correct version.)},
annote =
{info} }
[Back]
@ARTICLE{D:induct1a,
bestand = {(pdf)},
author = {Diderik Batens},
title = {On a Logic of Induction},
pages = {3--32},
journal = {L\&PS -- Logic \& Philosophy of Science},
volume = {IV},
number = {1},
year = {2006},
note = {(Corrected version of \cite{D:induct1}.)},
annote =
{info} }
[Back]
@ARTICLE{D:universal,
bestand = {(ps-zipped) (pdf)},
author = {Diderik Batens},
title = {A Universal Logic Approach to Adaptive Logics},
journal = {Logica Universalis},
volume = {1},
pages = {221-242},
year = {2007},
annote =
{info} }
[Back]
@INCOLLECTION{D:LiPoS,
bestand = {(ps-zipped) (pdf)},
author = {Diderik Batens},
title = {The Role of Logic in Philosophy of Science},
crossref = {MC&SP},
pages = {47--57},
year = {2008} }
[Back]
@BOOK{D:AL,
author = {Diderik Batens},
title = {Adaptive Logics and Dynamic Proofs. A Study in the Dynamics of Reasoning.},
year = {200x},
note = {Forthcoming} }
[Back]
@INCOLLECTION{D:shahid,
author = {Diderik Batens},
title = {Towards a Dialogic Interpretation of Dynamic Proofs},
crossref = {shahid},
year = {2009 (in print)},
annote =
{info} }
[Back]
@UNPUBLISHED{D:paraty,
bestand = {pdf},
author = {Diderik Batens},
title = {Adaptive $\mathbf{C}_n$ Logics},
year = {200x},
annote =
{info} }
[Back]
@ARTICLE{DJ:compat,
bestand = {[scan]},
author = {Diderik Batens and Joke Meheus},
title = {The Adaptive Logic of Compatibility},
journal = {Studia Logica},
year = {2000},
volume = {66},
pages = {327--348},
annote =
{info} }
[Back]
@INCOLLECTION{DJ:tabl1,
bestand = {[scan]},
author = {Diderik Batens and Joke Meheus},
title = {A Tableau Method for Inconsistency-Adaptive Logics},
crossref = {t2000},
pages = {127--142},
annote =
{info} }
[Back]
@ARTICLE{DJ:tabl2,
bestand = {[scan]},
author = {Diderik Batens and Joke Meheus},
title = {Shortcuts and Dynamic Marking in the Tableau Method for Adaptive logics},
journal = {Studia Logica},
volume = {69},
pages = {221--248},
year = {2001},
annote =
{info} }
[Back]
@INCOLLECTION{DJ:ial_surv2,
bestand = {[ps.zip] [pdf]},
author = {Diderik Batens and Joke Meheus},
title = {Recent Results by the Inconsistency-Adaptive Labourers},
crossref = {B&C:plwf},
pages = {81--99},
annote =
{info} }
[Back]
@ARTICLE{DJDaL:diag,
bestand = {[scan]},
author = {Diderik Batens and Joke Meheus and Dagmar Provijn and Liza Verhoeven},
title = {Some Adaptive Logics for Diagnosis},
journal = {Logic and Logical Philosophy},
volume = {11/12},
pages = {39--65},
year = {2003},
annote =
{info} }
[Back]
@ARTICLE{DJDa:signed,
bestand = {(ps-zipped) (pdf)},
author = {Diderik Batens and Joke Meheus and Dagmar Provijn},
title = {An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning},
year = {To appear},
annote =
{info} }
[Back]
@ARTICLE{DKPJ:complex,
bestand = {fulltext},
author = {Diderik Batens and De Clercq, Kristof and Verd{\'{e}}e, Peter and Meheus, Joke},
title = {Yes Fellows, Most Human Reasoning is Complex},
journal = {Synthese},
year = {2009},
volume = {166},
pages = {113--131},
annote =
{info} }
[Back]
@ARTICLE{DKPJ:complex1,
bestand = {fulltext},
author = {Diderik Batens and Kristof De Clercq and Peter Verd{\'{e}} and Joke Meheus},
title = {Yes Fellows, Most Human Reasoning is Complex},
journal = {Synthese},
year = {in print},
annote =
{info} }
[Back]
@UNPUBLISHED{DKG:spf,
bestand = {[ps.zipped]},
author = {Diderik Batens and De Clercq, Kristof and Guido Vanackere},
title = {Simplified Dynamic Proof Formats for Adaptive Logics},
year = {To appear},
annote =
{info} }
[Back]
@ARTICLE{DLn:induct2,
bestand = {[scan]},
author = {Diderik Batens and Lieven Haesaert},
title = {On Classical Adaptive Logics of Induction},
journal = {Logique et Analyse},
volume = {173--175},
year = {2001},
pages = {255--290},
note = {Appeared 2003},
annote =
{info} }
[Back]
@ARTICLE{DDa:vd1,
bestand = {[scan]},
author = {Diderik Batens and Dagmar Provijn},
title = {Pushing the Search Paths in the Proofs. {A} Study in Proof Heuristics},
journal = {Logique et Analyse},
volume = {173--175},
year = {2001},
pages = {113--134},
note = {Appeared 2003},
annote =
{info} }
[Back]
@UNPUBLISHED{DC&P:tdl,
bestand = {[pdf]},
author = {Diderik Batens and Christian Stra{\ss}er and Peter Verd{\'{e}}e},
title = {On the Transparency of Defeasible Logics: Equivalent Premise Sets,
Equivalence of Their Extensions, and Maximality of the Lower Limit},
year = {To appear},
annote =
{info} }
[Back]
@UNPUBLISHED{DG:clan,
author = {Diderik Batens and Guido Vanackere},
title = {Incompleteness-Adaptive Logics},
year = {to appear},
annote =
{info} }
[Back]
@UNPUBLISHED{DP:cgcl,
author = {Diderik Batens and Peter Verd{\'{e}}e},
title = {Content-Guidance in the Choice of a Logic},
note = {Forthcoming} }
[Back]
@ARTICLE{DT:ddp,
bestand = {[scan]},
author = {Diderik Batens and Timothy Vermeir},
title = {Direct Dynamic Proofs For the {Rescher--Manor} Consequence Relations:
The Flat Case},
journal = {Journal of Applied Non-Classical Logics},
volume = {12},
year = {2002},
pages = {63--84},
annote =
{info} }
[Back]
@ARTICLE{K:2ns,
author = {De Clercq, Kristof},
title = {Two New Strategies for Inconsistency-Adaptive Logics},
journal = {Logic and Logical Philosophy},
volume = {8},
pages = {65--80},
year = {2000},
note = {Appeared 2002},
annote =
{info} }
[Back]
@book{K:boek_thesis,
author = {De Clercq, Kristof},
title = {Logica in communicatie},
series = {Cahiers du Centre de Logique},
volume = {14},
publisher = {Academia-Bruylant},
address = {Louvain-la-Neuve},
pages = {221},
year = {2005},
isbn = {2-87209-793-7},
annote =
{info} }
[Back]
@INCOLLECTION{I:meta,
author = {Isabel D'Hanis},
title = {A Logical Approach to the Analysis of Metaphors},
crossref = {MN&P:MBR01},
pages = {21--37},
annote = {2002},
annote =
{info} }
[Back]
@ARTICLE{I:ZG,
author = {Isabel D'Hanis},
title = {The Use of Metaphors in Scientific Development: {A} Logical Approach},
journal = {Logique et Analyse},
volume = {173--175},
pages = {215--235},
year = {2001},
note = {appeared 2003},
annote =
{info} }
[Back]
@INCOLLECTION{Ln:albi,
author = {Lieven Haesaert},
title = {Een adaptieve logica voor het beschrijven van inductie},
crossref = {HNVF:f&e},
pages = {137--144},
annote = {2002} }
[Back]
@UNPUBLISHED{Ln:aribt,
author = {Lieven Haesaert},
title = {Adaptive reasoning from incompatible background theories},
year = {to appear},
annote =
{info} }
[Back]
@ARTICLE{H&W,
author = {Leon Horsten and Philip Welch},
title = {The Undecidability of Propositional Adaptive Logic},
journal = {Synthese},
volume = {158},
pages = {41--60},
year = {2007},
annote =
{info} }
[Back]
@ARTICLE{B:supervenience,
author = {Bert Leuridan},
title = {Supervenience: its Logic and its Inferential Role in Classical Genetics},
journal = {Logique et Analyse},
year = {2007},
volume = {198},
pages = {147--171},
annote =
{info} }
[Back]
@ARTICLE{B:cd&pi,
author = {Bert Leuridan},
title = {Causal Discovery and the Problem of Ignorance. An Adaptive Logic Approach},
journal = {Journal of Applied Logic},
year = {to appear},
annote =
{info} }
[Back]
@INCOLLECTION{J:ana,
author = {Joke Meheus},
title = {An Extremely Rich Paraconsistent Logic and the
Adaptive Logic Based on It},
crossref = {D&CMGPJpVB},
pages = {189--201},
annote = {2000},
annote =
{info} }
[Back]
@INCOLLECTION{J:alpt,
author = {Joke Meheus},
title = {An Adaptive Logic for Pragmatic Truth},
crossref = {wcp00},
pages = {167--185},
annote = {2002},
annote =
{info} }
[Back]
@ARTICLE{J:AJ,
author = {Joke Meheus},
title = {An Adaptive Logic Based on {J}a{\'{s}}kowski's Approach to Paraconsistency},
journal = {Journal of Philosophical Logic},
year = {2006},
volume = {35},
pages = {539--567},
annote =
{info} }
[Back]
@ARTICLE{J:alqe,
author = {Joke Meheus},
title = {Adaptive logics for question evocation},
journal = {Logique et Analyse},
volume= {173--175},
year = {2001},
pages = {135--164},
note = {Appeared 2003},
annote =
{info} }
[Back]
@INCOLLECTION{J:Jerzy,
author = {Joke Meheus},
annote = {in print},
title = {Discussive Adaptive Logics: Handling Internal and External Inconsistencies},
crossref = {MP:Jerzy} }
[Back]
@ARTICLE{J:parcomp,
author = {Joke Meheus},
title = {Paraconsistent Compatibility},
journal = {Logique et Analyse},
volume = {183--184},
year = {2003},
pages = {251--287},
note = {Appeared 2005} }
[Back]
@INCOLLECTION{J:pcsr,
author = {Joke Meheus},
year = {2003},
title = {Do We Need Paraconsistency in Commonsense Reasoning?},
pages = {135--146},
crossref = {CD&JL},
annote =
{info} }
[Back]
@ARTICLE{JD:cogsci,
bestand = {[this paper]},
author = {Joke Meheus and Diderik Batens},
title = {A Formal Logic for Abductive Reasoning},
journal = {Logic Journal of the IGPL},
volume = {14},
pages = {221--236},
year= {2006},
annote =
{info} }
[Back]
@INCOLLECTION{JLMDa:abd,
author = {Joke Meheus and Liza Verhoeven and Van Dyck, Maarten and Dagmar Provijn},
title = {Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction},
crossref = {MN&P:MBR01},
pages = {39--71},
annote = {2002},
annote =
{info} }
[Back]
@ARTICLE{MN:D2,
author = {Marek Nasieniewski},
title = {An adaptive logic based on {J}a{\'{s}}kowski's logic $\mathbf{D}_2$},
journal = {Logique et Analyse},
volume = {185--188},
pages = {287--304},
year= {2004},
note = {Appeared 2005} }
[Back]
@ARTICLE{GP:LPm,
author = {Graham Priest},
year = {1991},
title = {Minimally Inconsistent \textbf{LP}},
journal = {Studia Logica},
volume = {50},
pages = {321--331},
annote =
{info} }
[Back]
@ARTICLE{GiJ:mmac,
author = {Giuseppe Primiero and Joke Meheus},
title = {Majority Merging by Adaptive Counting},
journal = {Synthese},
volume = {165},
year = {2008},
pages = {203--223},
annote =
{info} }
[Back]
@ARTICLE{DaJ:compat,
author = {Dagmar Provijn and Joke Meheus},
year = {in print},
title = {Direct Dynamic Proofs for Classical compatibility},
journal = {Logique et Analyse},
annote = {in print} }
[Back]
@UNPUBLISHED{C:rc,
author = {Christian Stra{\ss}er},
title = {An Adaptive Logic for Rational Closure},
note = {Forthcoming.},
annote =
{info} }
[Back]
@UNPUBLISHED{CDu:aa,
author = {Christian Stra{\ss}er and Dunja Seselja},
title = {An Adaptive Logic Framework for Abstract Argumentation},
note = {Forthcoming.},
annote =
{info} }
[Back]
@ARTICLE{G:ambig,
author = {Guido Vanackere},
title = {Ambiguity-Adaptive Logic},
year = {1997},
journal = {Logique et Analyse},
volume = {159},
pages = {261--280},
note = {Appeared 1999},
annote =
{info} }
[Back]
@ARTICLE{G:HL2,
author = {Guido Vanackere},
title = {\textbf{HL2}. {A}n Inconsistency-Adaptive and
Inconsistency-Resolving Logic for General Statements
that Might Have Exceptions},
journal = {Journal of Applied Non-Classical Logics},
year = {2000},
volume = {10},
pages = {317--338},
annote =
{info} }
[Back]
@ARTICLE{G:pref,
author = {Guido Vanackere},
title = {Preferences as Inconsistency-resolvers: the
Inconsistency-adaptive Logic \textbf{PRL}},
journal = {Logic and Logical Philosophy},
volume = {8},
pages = {47--63},
year = {2000},
note = {Appeared 2002},
annote =
{info} }
[Back]
@ARTICLE{G:smurfs,
author = {Guido Vanackere},
title = {Minimizing ambiguity and paraconsistency},
journal = {Logique et Analyse},
volume = {165--166},
year = {1999},
pages = {139--160},
note = {Appeared 2002},
annote =
{info} }
[Back]
@INCOLLECTION{G:oci,
author = {Guido Vanackere},
title = {Ontological Causes of Inconsistency,
and a Change-Adaptive, Logical Solution},
crossref = {wcp00},
pages = {151--165},
annote = {2002},
annote =
{info} }
[Back]
@ARTICLE{G:iwan,
author = {Guido Vanackere},
title = {Change in individuals without a name.
{C}ontextual indicators and the free change-adaptive logic},
journal = {Logic and Logical Philosophy},
volume = {11/12},
pages = {213--230},
year = {2003},
annote =
{info} }
[Back]
@ARTICLE{Jc:iial,
author = {Van Meirvenne, Joachim},
year = {1994},
title = {Indexed Inconsistency-Adaptive Logic},
journal = {Logique et Analyse},
volume = {145},
pages = {41--55},
note = {Appeared 1996},
annote =
{info} }
[Back]
@ARTICLE{P:complex,
bestand = {fulltext},
author = {Peter Verd{\'{e}}e},
title = {Adaptive Logics Using the Minimal Abnormality Strategy
Are {$\Pi^1_1$}-complex},
year = {200x},
journal = {Synthese},
note = {Forthcoming} }
[Back]
@UNPUBLISHED{P:pp,
author = {Peter Verd{\'{e}}e},
title = {A Proof Procedure for Adaptive Logics},
year = {200x},
note = {Forthcoming} }
[Back]
@ARTICLE{L:apae,
bestand = {[scan]},
author = {Liza Verhoeven},
title = {All Premisses are equal, but some are more equal than others},
journal = {Logique et Analyse},
year = {2001},
volume = {173--174--175},
pages = {165--188},
note = {Appeared 2003},
annote =
{info} }
[Back]
@ARTICLE{L:prior,
bestand = {[scan]},
author = {Liza Verhoeven},
title = {Proof Theories for some Prioritized Consequence Relations},
journal = {Logique et Analyse},
volume = {183--184},
year = {2003},
pages = {325--344},
note = {appeared 2005},
annote =
{info} }
[Back]
@ARTICLE{L&LH:or,
author = {Liza Verhoeven and Leon Horsten},
title = {On the sense of eating strawberries or on the exclusivity implicature of 'or'},
journal = {Studia Logica},
year = {to appear},
annote =
{info} }
[