A standard model of Peano arithmetic with no conservative elementary extension Fulltext Access 11 Pages 2008
The normative aspect of signalling and the distinction between performative and constative Fulltext Access 11 Pages 2008
Representation theorems for explanatory reasoning based on cumulative models Fulltext Access 16 Pages 2008
Reasoning with prioritized information by iterative aggregation of distance functions Fulltext Access 17 Pages 2008
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCCCALCC Fulltext Access 18 Pages 2008
An infinite-game semantics for well-founded negation in logic programming Fulltext Access 19 Pages 2008
Characterising nested database dependencies by fragments of propositional logic Fulltext Access 23 Pages 2008
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself Fulltext Access 24 Pages 2008
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions Fulltext Access 37 Pages 2008
Partial collapses of the complexity hierarchy in models for fragments of bounded arithmetic Fulltext Access 5 Pages 2007
Certain very large cardinals are not created in small forcing extensions Fulltext Access 6 Pages 2007