10 found
Order:
  1.  83
    Multimo Dal Logics of Products of Topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):369-392.
    We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion ${\bf S4}\oplus {\bf S4}$ . We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies. We prove that both of these logics are complete for the product of rational numbers ${\Bbb Q}\times {\Bbb Q}$ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  2.  88
    Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.
    In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language to the strong Priorean language . We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a wide variety of frame classes and to prove completeness using the Henkin method. In the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  29
    Interpolation for Extended Modal Languages.Balder ten Cate - 2005 - Journal of Symbolic Logic 70 (1):223-234.
    Several extensions of the basic modal language are characterized in terms of interpolation. Our main results are of the following form: Language ℒ' is the least expressive extension of ℒ with interpolation. For instance, let ℳ be the extension of the basic modal language with a difference operator [7]. First-order logic is the least expressive extension of ℳ with interpolation. These characterizations are subsequently used to derive new results about hybrid logic, relation algebra and the guarded fragment.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4.  96
    Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
    We consider second-order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem–Rosen theorem and the Goldblatt Thomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of SOPML, and we characterize the bounded fragment of first-order logic as being the intersection of first-order logic and SOPML.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  9
    Modal Languages for Topology: Expressivity and Definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.
    In this paper we study the expressive power and definability for modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt–Thomason definability theorem in terms of the well-established first-order topological language.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  24
    Guarded Fragments with Constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.
    We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  23
    Complete Axiomatizations for XPath Fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.
  8. Expressivity of Extensions of Dynamic First-Order Logic.Balder ten Cate & Jan van Eijck - unknown
    Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Expressivity of Extensions of Dynamic First-Order Logic.Balder ten Cate & Jan van Eijck - unknown
    Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  25
    Some Modal Aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
    This paper provides several examples of how modal logic can be used in studying the XML document navigation language XPath. More specifically, we derive complete axiomatizations, computational complexity and expressive power results for XPath fragments from known results for corresponding logics. A secondary aim of the paper is to introduce XPath in a way that makes it accessible to an audience of modal logicians.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark