33 found
Sort by:
  1. Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici & Yde Venema (2012). Foreword. Studia Logica 100 (1-2):1-7.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Loes Olde Loohuis & Yde Venema (2010). Logics and Algebras for Multiple Players. Review of Symbolic Logic 3 (3):485-519.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Luigi Santocanale & Yde Venema (2010). Completeness for Flat Modal Fixpoint Logics. Annals of Pure and Applied Logic 162 (1):55-82.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Yde Venema (2010). Logics and Algebras for Multiple Players. Review of Symbolic Logic 3 (3):485-519.
    We study a generalization of the standard syntax and game-theoretic semantics of logic, which is based on a duality between two players, to a multiplayer setting. We define propositional and modal languages of multiplayer formulas, and provide them with a semantics involving a multiplayer game. Our focus is on the notion of equivalence between two formulas, which is defined by saying that two formulas are equivalent if under each valuation, the set of players with a winning strategy is the same (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein (2007). Finite Model Theory and its Applications. Springer.
    This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Mai Gehrke, Hideo Nagahashi & Yde Venema (2005). A Sahlqvist Theorem for Distributive Modal Logic. Annals of Pure and Applied Logic 131 (1):65-102.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Robert Goldblatt, Ian Hodkinson & Yde Venema (2004). Erdős Graphs Resolve Fine's Canonicity Problem. Bulletin of Symbolic Logic 10 (2):186-208.
    We show that there exist 2 ℵ 0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any first-order definable class of relational structures. Using a variant of this construction, we resolve a long-standing question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any first-order definable class of Kripke frames (a monomodal example can then be obtained using simulation results of (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  8. Yde Venema (2004). A Dual Characterization of Subdirectly Irreducible BAOs. Studia Logica 77 (1):105 - 115.
    We give a characterization of the simple, and of the subdirectly irreducible boolean algebras with operators (including modal algebras), in terms of the dual descriptive frame, or, topological relational structure. These characterizations involve a special binary topo-reachability relation on the dual structure; we call a point u a topo-root of the dual structure if every ultrafilter is topo-reachable from u. We prove that a boolean algebra with operators is simple iff every point in the dual structure is a topo-root; and (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
    We define an interpretation of modal languages with polyadic operators in modal languages that use monadic operators (diamonds) only. We also define a simulation operator which associates a logic $\Lambda^{sim}$ in the diamond language with each logic Λ in the language with polyadic modal connectives. We prove that this simulation operator transfers several useful properties of modal logics, such as finite/recursive axiomatizability, frame completeness and the finite model property, canonicity and first-order definability.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  10. Robert Goldblatt, Ian Hodkinson & Yde Venema (2003). On Canonical Modal Logics That Are Not Elementarily Determined. Logique Et Analyse 181:77-101.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Yde Venema (2003). Atomless Varieties. Journal of Symbolic Logic 68 (2):607-614.
    We define a nontrivial variety of boolean algebras with operators such that every member of the variety is atomless. This shows that not every variety of boolean algebras with operators is generated by its atomic members, and thus establishes a strong incompleteness result in (multi-)modal logic.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Yde Venema (2003). Representation of Game Algebras. Studia Logica 75 (2):239 - 256.
    We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Patrick Blackburn, Maarten de Rijke & Yde Venema (2002). Modal Logic. Cambridge University Press.
    This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Vera Stebletsova & Yde Venema (2001). Undecidable Theories of Lyndon Algebras. Journal of Symbolic Logic 66 (1):207-224.
    With each projective geometry we can associate a Lyndon algebra. Such an algebra always satisfies Tarski's axioms for relation algebras and Lyndon algebras thus form an interesting connection between the fields of projective geometry and algebraic logic. In this paper we prove that if G is a class of projective geometries which contains an infinite projective geometry of dimension at least three, then the class L(G) of Lyndon algebras associated with projective geometries in G has an undecidable equational theory. In (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Maarten de Rijke Pauly, Frans Snijders & Yde Venema (2000). 1999 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'99. Bulletin of Symbolic Logic 6 (1):103.
     
    My bibliography  
     
    Export citation  
  16. Maarten de Rijke Pauly, Frans Snijders & Yde Venema (2000). 1999 European Summer Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 6 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Maarten de Rijke Pauly, Frans Snijders & Yde Venema (2000). Utrecht, The Netherlands, August 1–6, 1999. Bulletin of Symbolic Logic 6 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Yde Venema (2000). Modal Logic. Philosophical Review 109 (2):286-289.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.) (1999). Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Amsterdam University Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  20. Yde Venema (1998). Review: Extensions of First Order Logic by Maria Manzano. [REVIEW] Journal of Symbolic Logic 63:1194-1196.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  21. Yde Venema (1998). Rectangular Games. Journal of Symbolic Logic 63 (4):1549-1564.
    We prove that every rectangularly dense diagonal-free cylindric algebra is representable. As a corollary, we give finite, sound and complete axiomatizations for the finite-variable fragments of first order logic without equality and for multi-dimensional modal S5-logic.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. Yde Venema (1998). Review: Maria Manzano, Extensions of First Order Logic. [REVIEW] Journal of Symbolic Logic 63 (3):1194-1196.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Yde Venema (1997). Editorial: Modal Logic and Dynamic Semantics. [REVIEW] Journal of Logic, Language and Information 6 (4):357-360.
  24. Yde Venema (1996). Tree Models and (Labeled) Categorial Grammar. Journal of Logic, Language and Information 5 (3-4):253-277.
    This paper studies the relation between some extensions of the non-associative Lambek Calculus NL and their interpretation in tree models (free groupoids). We give various examples of sequents that are valid in tree models, but not derivable in NL. We argue why tree models may not be axiomatizable if we add finitely many derivation rules to NL, and proceed to consider labeled calculi instead.We define two labeled categorial calculi, and prove soundness and completeness for interpretations that are almost the intended (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Patrick Blackburn & Yde Venema (1995). Dynamic Squares. Journal of Philosophical Logic 24 (5):469 - 523.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  26. Maarten de Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. Studia Logica 54 (1):61-78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Maarten De Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. Studia Logica 54 (1):61 - 78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. Yde Venema (1995). Cylindric Modal Logic. Journal of Symbolic Logic 60 (2):591-623.
    Treating the existential quantification ∃ν i as a diamond $\diamond_i$ and the identity ν i = ν j as a constant δ ij , we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full cylindric set algebras are the complex algebras of the intended multidimensional frames called cubes. The main (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  29. Yde Venema (1995). Meeting Strength in Substructural Logics. Studia Logica 54 (1):3 - 32.
    This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof theory in which there is only alimited possibility to use structural rules. Following the literture, we use an operator to mark formulas to which the extra structural rules may be applied. New in our approach is that we do not see this as a modality, but rather as themeet of the marked formula with a special typeQ. In this way we can make (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  30. Yde Venema (1993). Derivation Rules as Anti-Axioms in Modal Logic. Journal of Symbolic Logic 58 (3):1003-1034.
    We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  31. Yde Venema (1993). Derivation Rules as Anti-Axioms. Journal of Symbolic Logic 58:1003-1034.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Yde Venema (1992). A Note on the Tense Logic of Dominoes. Journal of Philosophical Logic 21 (2):173 - 182.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. Yde Venema (1990). Expressiveness and Completeness of an Interval Tense Logic. Notre Dame Journal of Formal Logic 31 (4):529-547.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation