Compact spaces, elementary submodels, and the countable chain condition Fulltext Access 10 Pages 2006
A general method for proving decidability of intuitionistic modal logics Fulltext Access 12 Pages 2006
Automatic knowledge learning and case adaptation with a hybrid committee approach Fulltext Access 13 Pages 2006
Uncountable categoricity of local abstract elementary classes with amalgamation Fulltext Access 14 Pages 2006
MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics Fulltext Access 14 Pages 2006
Satisfaction of existential theories in finitely presented groups and some embedding theorems Fulltext Access 15 Pages 2006
Remarks on isomorphisms in typed lambda calculi with empty and sum types Fulltext Access 16 Pages 2006
Some intuitionistic equivalents of classical principles for degree 2 formulas Fulltext Access 16 Pages 2006
On the parallel between the suplattice and preframe approaches to locale theory Fulltext Access 22 Pages 2006
On properties of theories which preclude the existence of universal models Fulltext Access 23 Pages 2006
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics Fulltext Access 24 Pages 2006
Generality’s price: Inescapable deficiencies in machine-learned programs Fulltext Access 24 Pages 2006
Definability and decidability of binary predicates for time granularity Fulltext Access 24 Pages 2006
Non-primitive recursive decidability of products of modal logics with expanding domains Fulltext Access 24 Pages 2006
A generalization of the Second Incompleteness Theorem and some exceptions to it Fulltext Access 25 Pages 2006
A general tableau method for propositional interval temporal logics: Theory and implementation Fulltext Access 26 Pages 2006
Model checking hybrid logics (with an application to semistructured data) Fulltext Access 26 Pages 2006
The finite submodel property and ω-categorical expansions of pregeometries Fulltext Access 29 Pages 2006
Using temporal logics of knowledge for specification and verification—a case study Fulltext Access 29 Pages 2006
Characterizing the interpretation of set theory in Martin-Löf type theory Fulltext Access 30 Pages 2006