Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
ten Cate, Balder - Research Institute Computer Science, Universiteit van Amsterdam
Some Modal Aspects of XPath Balder ten Cate1 ,2
Unary negation Balder ten Cate1
Lindstrom theorems for fragments of first-order logic (full version with appendices)
J. van Benthem G. Bezhanishvili
Hybrid logics with Sahlqvist axioms BALDER ten CATE, ISLA, Informatics Institute, University of
INTERPOLATION FOR EXTENDED MODAL LANGUAGES BALDER TEN CATE
Model theory for extended modal ILLC Dissertation Series DS-2005-01
Sahlqvist theory for Hybrid Logic Opgedragen aan Dick de Jongh voor zijn 65ste verjaardag
Sahlqvist theory and transfer results for Hybrid Logic Nick Bezhanishvili
Pure Extensions, Proof Rules, and Hybrid Axiomatics Patrick Blackburn
An easy completeness proof for the modal -calculus on finite trees
The Partition Semantics of Questions, Syntactically
Expressivity of second order propositional modal Balder ten Cate
Errata Model theory for extended modal languages January 31, 2006 formal title page "24 februari 2004" "24 februari 2005"
Modal Languages for Topology: Expressivity and Definability 1
HYBRID LOGICS Carlos Areces and Balder ten Cate
The Importance of Being Discrete Balder ten Cate and Tadeusz Litak
Beyond Pure Axioms: Node Creating Rules in Hybrid Tableaux
Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs
The Expressivity of XPath with Transitive Closure (Full version)
P. Blackburn B. ten Cate
Proceedings of the Eighth ESSLLI Student Session
Definitorially Complete Description Logics Balder ten Cate
Structural Characterizations of Schema-Mapping Languages
Dynamic and Epistemic Semantics of Questions: The Logic of Consultation
March 29, 2006 Axiomatizing Groenendijk's Logic
