Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields Fulltext Access 13 Pages 2007
Nonmonotonic conditionals that behave like conditional probabilities above a threshold Fulltext Access 13 Pages 2007
An algebraic approach to belief contraction and nonmonotonic entailment Fulltext Access 14 Pages 2007
A posteriori convergence in complete Boolean algebras with the sequential topology Fulltext Access 14 Pages 2007
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams Fulltext Access 17 Pages 2007
Question answering and database querying: Bridging the gap with generalized quantification Fulltext Access 17 Pages 2007
Thorn independence in the field of real numbers with a small multiplicative group Fulltext Access 18 Pages 2007
Decidability of the theory of modules over commutative valuation domains Fulltext Access 18 Pages 2007
A completeness result for a realisability semantics for an intersection type system Fulltext Access 19 Pages 2007
Specifying and verifying interaction protocols in a temporal action logic Fulltext Access 21 Pages 2007
Cogex: A semantically and contextually enriched logic prover for question answering Fulltext Access 21 Pages 2007
Termination of logic programs with imperfect information: applications and query procedure Fulltext Access 24 Pages 2007
The computational complexity of scenario-based agent verification and design Fulltext Access 25 Pages 2007
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator Fulltext Access 26 Pages 2007
Double helix in large large cardinals and iteration of elementary embeddings Fulltext Access 38 Pages 2007
The intuitionistic fragment of computability logic at the propositional level Fulltext Access 41 Pages 2007
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank Fulltext Access 41 Pages 2007
The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis Fulltext Access 5 Pages 2006
A nonasymptotic lower time bound for a strictly bounded second-order arithmetic Fulltext Access 5 Pages 2006
Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets Fulltext Access 5 Pages 2006
The number of translates of a closed nowhere dense set required to cover a Polish group Fulltext Access 8 Pages 2006