Hybrid logic with the difference modality for generalisations of graphs Fulltext Access 18 Pages 2010
Canonical extensions for congruential logics with the deduction theorem Fulltext Access 18 Pages 2010
A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees Fulltext Access 19 Pages 2010
Tractable query answering and rewriting under description logic constraints Fulltext Access 24 Pages 2010
A modal logic framework for reasoning about comparative distances and topology Fulltext Access 26 Pages 2010
Combining linear-time temporal logic with constructiveness and paraconsistency Fulltext Access 29 Pages 2010
Completeness and partial soundness results for intersection and union typing for Fulltext Access 31 Pages 2010
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators Fulltext Access 37 Pages 2010
Cut elimination and strong separation for substructural logics: An algebraic approach Fulltext Access 37 Pages 2010
Exact unprovability results for compound well-quasi-ordered combinatorial classes Fulltext Access 8 Pages 2009
Further notes on cell decomposition in closed ordered differential fields Fulltext Access 11 Pages 2009
Reconsideration of circumscriptive induction with pointwise circumscription Fulltext Access 11 Pages 2009
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language Fulltext Access 11 Pages 2009
Commutative integral bounded residuated lattices with an added involution Fulltext Access 11 Pages 2009
Sequences of real functions on [0,1] in constructive reverse mathematics Fulltext Access 12 Pages 2009
Extracting the resolution algorithm from a completeness proof for the propositional calculus Fulltext Access 12 Pages 2009