]> 2012-05-29T10:11:02-04:00 Michael Zakharyaschev Michael Michael Zakharyaschev Zakharyaschev DL-Lite in the Light of First-Order Logic Reasoning about distances Multi-Dimensional Description Logics On the Decidability of Description Logics with Modal Operators A Note on Relativised Products of Modal Logics Canonical Formulas for K4, Part I: Basic Results Temporal Description Logics: A Survey Temporalising Tractable Description Logics Conservative extensions in modal logic E-connections of abstract description systems Temporalising Tableaux E-connections of Description Logics Resasoning about Concepts and Similarity A Tableau Algorithm for Reasoning about Concepts and Similarity A Tableau Decision Algorithm for Modalized ALC with Constant Domains Tableaux for Temporal Description Logic with Constant Domains Checking DL-Lite Modularity with QBF Solvers Can You Tell the Difference Between DL-Lite Ontologies? On the Computational Complexity of Spatial Logics with Connectedness Constraints Undecidability of the unification and admissibility problems for modal and description logics Modularity in DL-Lite Spatial Logic + Temporal Logic = ? A Logic for Concepts and Similarity Dynamic topological logics over spaces with continuous functions From topology to metric: modal logic and quantification in metric spaces Automated Reasoning About Metric and Topology Non-primitive recursive decidability of products of modal logics with expanding domains Willem Blok and Modal Logic On Dynamic Topological and Metric Logics Temporal Logics over Transitive States 'Closer' representation and reasoning Comparative Similarity, Tree Automata, and Diophantine Equations Modal Logics for Metric Spaces: Open Problems Combining Spatial and Temporal Logics: Expressiveness vs. Complexity On Non-local Propositional and Weak Monodic Quantified CTL On the Computational Complexity of Spatio-Temporal Logics On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics Logics of metric spaces Editorial Preface A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Connecting Abstract Description Systems Decidable and Undecidable Fragments of First-Order Branching Temporal Logics On Non-Local Propositional and Local One-Variable Quantified CTL* Axiomatizing the monodic fragment of first-order temporal logic Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning Axiomatizing Distance Logics A Note on Concepts and Distances The DLRUS Temporal Description Logic Monodic fragments of first-order temporal logics: 2000-2001 A.D Reasoning over Conceptual Schemas and Queries in Temporal Databases Decidable Fragments of First-Order Modal Logics Spatial Reasoning in RCC-8 with Boolean Region Terms Monodic Epistemic Predicate Logic Semi-qualitative Reasoning about Distances: A Preliminary Report Spatio-temporal representation and reasoning based on RCC-8 Decidable fragment of first-order temporal logics Modal Description Logics: Modalizing Roles Dynamic Description Logics Speaking about Transitive Frames in Propositional Languages DL-Lite and Role Inclusions Complexity of Reasoning in Entity Relationship Models Reasoning over Extended ER Models Temporalising Logics: Fifteen Years After Query Answering in Expressive Variants of DL-Lite Undecidability of first-order intuitionistic and modal logics with two variables On the Products of Linear Modal Logics Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema The Origins of Modern Modal Logic Canonical Formulas for K4, Part III: The Finite Model Property The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable Canonical Formulas for K4, Part II: Confinal Subframe Logics On the Independent Axiomatizability of Modal and Intermediate Logics All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable A New Solution to a Problem of Hosoi and Ono The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems A Sufficient Condition for the Finite Model Property of Modal Logics above K4 Modal Companions of Intermediate Propositional Logics Theorem Proving in Intermediate and Modal Logics Has author Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person