Yde Venema

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 37

Top Venues

CoRR

CALCO

Log. Methods Comput. Sci.

LICS

Publications

Ignacio Bellas Acosta, Yde Venema
Counting to infinity: Graded Modal Logic with an infinity Diamond. Rev. Symb. Log. 17 (1) (2024)
Jan Rooduijn, Yde Venema
Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. WoLLIC (2023)
Jan Rooduijn, Yde Venema
Focus-style proofs for the two-way alternation-free μ-calculus. CoRR (2023)
Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. CoRR (2023)
Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. TABLEAUX (2023)
Nick Bezhanishvili, Jim de Groot, Yde Venema
Coalgebraic Geometric Logic: Basic Theory. Log. Methods Comput. Sci. 18 (4) (2022)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Model theory of monadic predicate logic with the infinity quantifier. Arch. Math. Log. 61 (3-4) (2022)
Clemens Kupke, Johannes Marti, Yde Venema
Succinct Graph Representations of μ-Calculus Formulas. CSL (2022)
Clemens Kupke, Johannes Marti, Yde Venema
Size measures and alphabetic equivalence in the μ-calculus. LICS (2022)
Clemens Kupke, Johannes Marti, Yde Venema
On the size of disjunctive formulas in the μ-calculus. GandALF (2021)
Jan Rooduijn, Yde Venema
Filtration and canonical completeness for continuous modal mu-calculi. GandALF (2021)
Johannes Marti, Yde Venema
Focus-style proof systems and interpolation for the alternation-free μ-calculus. CoRR (2021)
Johannes Marti, Yde Venema
A Focus System for the Alternation-Free μ-Calculus. TABLEAUX (2021)
Clemens Kupke, Johannes Marti, Yde Venema
Size matters in the modal μ-calculus. CoRR (2020)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
The Power of the Weak. ACM Trans. Comput. Log. 21 (2) (2020)
Vincenzo Ciancia, Yde Venema
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. CALCO (2019)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. CoRR (2019)
Nick Bezhanishvili, Jim de Groot, Yde Venema
Coalgebraic Geometric Logic. CALCO (2019)
Sebastian Enqvist, Yde Venema
Disjunctive bases: normal forms and model theory for modal logics. Log. Methods Comput. Sci. 15 (1) (2019)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
-calculi: A coalgebraic approach. Ann. Pure Appl. Log. 170 (5) (2019)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. LICS (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema
A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. 170 (11) (2019)
Gian Carlo Milanese, Yde Venema
Closure Ordinals of the Two-Way Modal µ-Calculus. WoLLIC (2019)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
-calculus: Separating the combinatorics from the dynamics. Theor. Comput. Sci. 727 (2018)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Model Theory of Monadic Predicate Logic with the Infinity Quantifier. CoRR (2018)
Gaëlle Fontaine, Yde Venema
Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties. CoRR (2018)
Lutz Schröder, Yde Venema
Completeness of Flat Coalgebraic Fixpoint Logics. ACM Trans. Comput. Log. 19 (1) (2018)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
The Power of the Weak. CoRR (2018)
Gaëlle Fontaine, Yde Venema
Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties. Log. Methods Comput. Sci. 14 (1) (2018)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic. DALI@TABLEAUX (2017)
Sebastian Enqvist, Yde Venema
Disjunctive bases: normal forms and model theory for modal logics. CoRR (2017)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic (Extended Version). CoRR (2017)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
An expressive completeness theorem for coalgebraic modal mu-calculi. Log. Methods Comput. Sci. 13 (2) (2017)
Sebastian Enqvist, Yde Venema
Disjunctive Bases: Normal Forms for Modal Logics. CALCO (2017)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
An expressive completeness theorem for coalgebraic modal mu-calculi. CoRR (2017)
Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. 25 (3) (2017)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Completeness for Coalgebraic Fixpoint Logic. CSL (2016)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. LICS (2015)
Johannes Marti, Yde Venema
Lax extensions of coalgebra functors and their logic. J. Comput. Syst. Sci. 81 (5) (2015)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. CoRR (2015)
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Expressiveness of the modal mu-calculus on monotone neighborhood structures. CoRR (2015)
Johannes Marti, Fatemeh Seifan, Yde Venema
Uniform Interpolation for Coalgebraic Fixpoint Logic. CoRR (2015)
Johannes Marti, Fatemeh Seifan, Yde Venema
Uniform Interpolation for Coalgebraic Fixpoint Logic. CALCO (2015)
Marta Bílková, Alessandra Palmigiano, Yde Venema
Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. 549 (2014)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Weak MSO: automata and expressiveness modulo bisimilarity. CSL-LICS (2014)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Weak MSO: Automata and Expressiveness Modulo Bisimilarity. CoRR (2014)
Facundo Carreiro, Yde Venema
PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. Advances in Modal Logic (2014)
Alessandro Facchini, Yde Venema, Fabio Zanasi
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. LICS (2013)
Yde Venema, Steve Vickers, Jacob Vosmaer
Generalised powerlocales via relation lifting. Math. Struct. Comput. Sci. 23 (1) (2013)
Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema
Foreword. Stud Logica 100 (1-2) (2012)
Johannes Marti, Yde Venema
Lax Extensions of Coalgebra Functors. CMCS (2012)
Clemens Kupke, Alexander Kurz, Yde Venema
Completeness for the coalgebraic cover modality Log. Methods Comput. Sci. 8 (3) (2012)
Yde Venema, Steve Vickers, Jacob Vosmaer
Generalized powerlocales via relation lifting CoRR (2012)
Vincenzo Ciancia, Yde Venema
Stream Automata Are Coalgebras. CMCS (2012)
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Modal Logics are Coalgebraic. Comput. J. 54 (1) (2011)
Jort Bergfeld, Yde Venema
Model Constructions for Moss' Coalgebraic Logic. CALCO (2011)
Marta Bílková, Jiri Velebil, Yde Venema
On monotone modalities and adjointness. Math. Struct. Comput. Sci. 21 (2) (2011)
Loes Olde Loohuis, Yde Venema
Logics and Algebras for Multiple Players. Rev. Symb. Log. 3 (3) (2010)
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
Automata for Coalgebras: An Approach Using Predicate Liftings. ICALP (2) (2010)
Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema
Vietoris Bisimulations. J. Log. Comput. 20 (5) (2010)
Alexander Kurz, Alessandra Palmigiano, Yde Venema
Coalgebra and Logic: A Brief Overview. J. Log. Comput. 20 (5) (2010)
Luigi Santocanale, Yde Venema
Completeness for flat modal fixpoint logics. Ann. Pure Appl. Log. 162 (1) (2010)
Luigi Santocanale, Yde Venema
Uniform Interpolation for Monotone Modal Logic. Advances in Modal Logic (2010)
Alexander Kurz, Yde Venema
Coalgebraic Lindströom Theorems. Advances in Modal Logic (2010)
Lutz Schröder, Yde Venema
Flat Coalgebraic Fixed Point Logics. CONCUR (2010)
Lutz Schröder, Yde Venema
Flat coalgebraic fixed point logics CoRR (2010)
Christian Kissig, Yde Venema
Complementation of Coalgebra Automata. CALCO (2009)
Yde Venema
Algebraic and Coalgebraic Logic Corner. J. Log. Comput. 19 (2) (2009)
Yde Venema
Fixpoint Logics and Automata: A Coalgebraic Approach. FICS (2009)
Clemens Kupke, Yde Venema
Coalgebraic Automata Theory: Basic Results CoRR (2008)
Luigi Santocanale, Yde Venema
Completeness for Flat Modal Fixpoint Logics CoRR (2008)
Clemens Kupke, Yde Venema
Coalgebraic Automata Theory: Basic Results. Log. Methods Comput. Sci. 4 (4) (2008)
Marta Bílková, Alessandra Palmigiano, Yde Venema
Proof systems for the coalgebraic cover modality. Advances in Modal Logic (2008)
Clemens Kupke, Alexander Kurz, Yde Venema
Completeness of the finitary Moss logic. Advances in Modal Logic (2008)
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Modal Logics are Coalgebraic. BCS Int. Acad. Conf. (2008)
Alessandra Palmigiano, Yde Venema
Nabla Algebras and Chu Spaces. CALCO (2007)
Luigi Santocanale, Yde Venema
Completeness for Flat Modal Fixpoint Logics. LPAR (2007)
Yde Venema
A Modal Distributive Law (abstract). WoLLIC (2007)
Yde Venema
Automata and fixed point logic: A coalgebraic perspective. Inf. Comput. 204 (4) (2006)
Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
Definitorially Complete Description Logics. KR (2006)
Clemens Kupke, Yde Venema
Closure Properties of Coalgebra Automata. LICS (2005)
Mai Gehrke, Hideo Nagahashi, Yde Venema
A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Log. 131 (1-3) (2005)
Yde Venema
A Dual Characterization of Subdirectly Irreducible BAOs. Stud Logica 77 (1) (2004)
Yde Venema
Automata and Fixed Point Logics for Coalgebras. CMCS (2004)
Robert Goldblatt, Ian M. Hodkinson, Yde Venema
Erdös graphs resolve Fine's canonicity problem. Bull. Symb. Log. 10 (2) (2004)
Clemens Kupke, Alexander Kurz, Yde Venema
Stone coalgebras. Theor. Comput. Sci. 327 (1-2) (2004)
Clemens Kupke, Alexander Kurz, Yde Venema
Stone Coalgebras. CMCS (2003)
George Goguadze, Carla Piazza, Yde Venema
Simulating polyadic modal logics by monadic ones. J. Symb. Log. 68 (2) (2003)
Yde Venema
Representation of Game Algebras. Stud Logica 75 (2) (2003)
Yde Venema
Atomless varieties. J. Symb. Log. 68 (2) (2003)
Yde Venema
Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6. Theory Pract. Log. Program. 2 (3) (2002)
Vera Stebletsova, Yde Venema
Undecidable Theories of Lyndon Algebras. J. Symb. Log. 66 (1) (2001)
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. IEEE Trans. Knowl. Data Eng. 13 (3) (2001)
Yde Venema
Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. J. Log. Comput. 9 (5) (1999)
Angelo Montanari, Alberto Policriti, Yde Venema
Editorial. Log. J. IGPL 7 (1) (1999)
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
Specification of Dynamics for Knowledge-Based Systems. Transactions and Change in Logic Databases (1998)
Joeri Engelfriet, Yde Venema
A Modal Logic of Information Change. TARK (1998)
Yde Venema
Rectangular Games. J. Symb. Log. 63 (4) (1998)
Yde Venema
Canonical Pseudo-Correspondence. Advances in Modal Logic (1998)
Vera Stebletsova, Yde Venema
Axioms for Jonsson's Q-Algebras. RelMiCS (1997)

Yde Venema.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yde Venema