| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7782784 (Why is no real title available?) | 2024-01-02 | Paper |
Truth and knowledge
(available as arXiv preprint) | 2022-08-17 | Paper |
| Formal methods for nonmonotonic and related logics. Vol II. Theory revision, inheritance, and various abstract properties | 2019-01-17 | Paper |
| Formal Methods for Nonmonotonic and Related Logics | 2018-12-12 | Paper |
| A Comment on Argumentation | 2016-12-17 | Paper |
| A New Perspective on Nonmonotonic Logics | 2016-12-14 | Paper |
| A pre-semantics for counterfactual conditionals and similar logics | 2016-12-06 | Paper |
Non-monotonic logic: preferential versus algebraic semantics
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
Semantic interpolation
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Conditionals and modularity in general logics
Cognitive Technologies | 2011-03-21 | Paper |
Cumulativity without closure of the domain under finite unions
The Review of Symbolic Logic | 2010-08-13 | Paper |
A comment on work by Booth and co-authors
Studia Logica | 2010-05-07 | Paper |
A theory of hierarchical consequence and conditionals
Journal of Logic, Language and Information | 2010-03-05 | Paper |
| Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations | 2010-02-16 | Paper |
| Independence and abstract multiplication | 2010-01-18 | Paper |
Logical tools for handling change in agent-based systems
(available as arXiv preprint) | 2009-12-01 | Paper |
Roadmap for preferential logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Independence -- revision and defaults
Studia Logica | 2009-11-16 | Paper |
SIZE AND LOGIC
The Review of Symbolic Logic | 2009-08-26 | Paper |
REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
The Review of Symbolic Logic | 2009-08-26 | Paper |
| Equilibria und weiteres Heiteres | 2009-07-23 | Paper |
Defeasible inheritance systems and reactive diagrams
Logic Journal of the IGPL | 2009-03-11 | Paper |
| Toolbox | 2008-11-20 | Paper |
| A semantics for obligations | 2008-11-17 | Paper |
| Factorization (Splitting) | 2007-12-28 | Paper |
Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
Artificial Intelligence | 2007-09-20 | Paper |
| A remark on utility streams | 2007-09-02 | Paper |
| Domain closure conditions and definability preservation | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 2120511 (Why is no real title available?) | 2004-12-01 | Paper |
| scientific article; zbMATH DE number 1785004 (Why is no real title available?) | 2003-10-16 | Paper |
Distance semantics for belief revision
The Journal of Symbolic Logic | 2002-05-13 | Paper |
Explaining updates by minimal sums
Theoretical Computer Science | 2002-03-03 | Paper |
New techniques and completeness results for preferential structures
Journal of Symbolic Logic | 2001-05-14 | Paper |
Unrestricted preferential structures
Journal Of Logic And Computation | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1515326 (Why is no real title available?) | 2000-11-21 | Paper |
| scientific article; zbMATH DE number 1500646 (Why is no real title available?) | 2000-09-04 | Paper |
Preferred history semantics for iterated updates
Journal Of Logic And Computation | 2000-07-31 | Paper |
Distance based revision of preferential logics
Logic Journal of the IGPL | 1999-12-19 | Paper |
A topological construction of a non-smooth model of cumulativity
Journal Of Logic And Computation | 1999-10-31 | Paper |
| scientific article; zbMATH DE number 1241669 (Why is no real title available?) | 1999-10-11 | Paper |
| scientific article; zbMATH DE number 1333621 (Why is no real title available?) | 1999-09-13 | Paper |
Results on infinite extensions
Journal of Applied Non-Classical Logics | 1999-06-21 | Paper |
Filters and partial orders
Logic Journal of the IGPL | 1998-04-01 | Paper |
Completeness and incompleteness for plausibility logic
Journal of Logic, Language and Information | 1997-10-08 | Paper |
Some completeness results for stoppered and ranked classical preferential models
Journal Of Logic And Computation | 1997-09-22 | Paper |
A reduction of the theory of confirmation to the notions of distance and measure
Logic Journal of the IGPL | 1997-08-24 | Paper |
Nonmonotonic logics. Basic concepts, results, and techniques
Lecture Notes in Computer Science | 1997-06-03 | Paper |
| scientific article; zbMATH DE number 994065 (Why is no real title available?) | 1997-03-23 | Paper |
Preferential Choice Representation Theorems for Branching Time Structures
Journal Of Logic And Computation | 1996-06-19 | Paper |
Defaults as Generalized Quantifiers
Journal Of Logic And Computation | 1996-06-06 | Paper |
Logic, topology, and integration
Journal of Automated Reasoning | 1995-09-28 | Paper |
Some Completeness Results for Propositional Conditional Logics
Logic Journal of the IGPL | 1995-05-28 | Paper |
Local and global metrics for the semantics of counterfactual conditionals
Journal of Applied Non-Classical Logics | 1994-12-21 | Paper |
Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
Journal Of Logic And Computation | 1994-03-27 | Paper |
| scientific article; zbMATH DE number 517023 (Why is no real title available?) | 1994-03-17 | Paper |
Some Results on Classical Preferential Models
Journal Of Logic And Computation | 1993-08-23 | Paper |
Theory revision and probability
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Results on the generic Kurepa hypothesis
Archive for Mathematical Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4063088 (Why is no real title available?) | 1987-01-01 | Paper |
