13 found
Order:
Disambiguations
Balder ten Cate [10]B. ten Cate [2]Blader Ten Cate [1]
  1.  31
    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 (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  2.  62
    Expressivity of Second Order Propositional Modal Logic.ten Cate Balder - 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 (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  3.  17
    Interpolation for Extended Modal Languages.ten Cate Balder - 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 (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  4.  28
    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 (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  5.  4
    Modal Languages for Topology: Expressivity and Definability.Balder Ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1):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 (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  6.  6
    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 (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  7.  1
    Hybrid Logics with Sahlqvist Axioms.B. ten Cate - 2005 - Logic Journal of the IGPL 13 (3):293-300.
  8.  23
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  9.  12
    Some Modal Aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
  10.  27
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  11.  2
    Complete Axiomatizations for XPath Fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.
  12.  2
    Some Modal Aspects of XPath.Blader Ten Cate, Luis Farinas Del Cero & Andreas Herzig - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
  13. Mr2290114 (2007i: 03026) 03b45.J. van Benthem, G. Bezhanishvili, B. ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369-392.
    No categories
     
    Export citation  
     
    My bibliography