Yde Venema - RankMe

127 papers A* 7B 24C 3Journal 73Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Interpolation for Converse PDL. TABLEAUX Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema
2025	J	`jnl`	Interpolation for Converse PDL. CoRR Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema
2025	J	`jnl`	Interpolation for the two-way modal mu-calculus. CoRR Johannes Kloibhofer, Yde Venema
2025	A*	`conf`	Interpolation for the two-way modal μ-calculus. LICS Johannes Kloibhofer, Yde Venema
2025	B	`conf`	Modal Automata: Analysing Modal Fixpoint Logics, One Step at a Time (Invited Talk). CSL Yde Venema
2025	J	`jnl`	Proof Systems for two-Way Modal J. Symb. Log. Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema
2025	J	`jnl`	Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof. CoRR Manfred Borzechowski, Malvin Gattinger, Helle Hvid Hansen, Revantha Ramanayake, Valentina Trucco Dalmas, Yde Venema
2024	J	`jnl`	Counting to infinity: Graded Modal Logic with an infinity Diamond. Rev. Symb. Log. Ignacio Bellas Acosta, Yde Venema
2023	C	`conf`	Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. WoLLIC Jan Rooduijn, Yde Venema
2023	J	`jnl`	Focus-style proofs for the two-way alternation-free μ-calculus. CoRR Jan Rooduijn, Yde Venema
2023	B	`conf`	Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. TABLEAUX Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
2023	J	`jnl`	Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. CoRR Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
2022	J	`jnl`	Coalgebraic Geometric Logic: Basic Theory. Log. Methods Comput. Sci. Nick Bezhanishvili, Jim de Groot, Yde Venema
2022	J	`jnl`	Model theory of monadic predicate logic with the infinity quantifier. Arch. Math. Log. Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2022	A*	`conf`	Size measures and alphabetic equivalence in the μ-calculus. LICS Clemens Kupke, Johannes Marti, Yde Venema
2022	B	`conf`	Succinct Graph Representations of μ-Calculus Formulas. CSL Clemens Kupke, Johannes Marti, Yde Venema
2021	B	`conf`	A Focus System for the Alternation-Free μ-Calculus. TABLEAUX Johannes Marti, Yde Venema
2021	—	`conf`	Filtration and canonical completeness for continuous modal mu-calculi. GandALF Jan Rooduijn, Yde Venema
2021	J	`jnl`	Focus-style proof systems and interpolation for the alternation-free μ-calculus. CoRR Johannes Marti, Yde Venema
2021	—	`conf`	On the size of disjunctive formulas in the μ-calculus. GandALF Clemens Kupke, Johannes Marti, Yde Venema
2020	J	`jnl`	Size matters in the modal μ-calculus. CoRR Clemens Kupke, Johannes Marti, Yde Venema
2020	J	`jnl`	The Power of the Weak. ACM Trans. Comput. Log. Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2019	J	`jnl`	A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema
2019	C	`conf`	Closure Ordinals of the Two-Way Modal µ-Calculus. WoLLIC Gian Carlo Milanese, Yde Venema
2019	B	`conf`	Coalgebraic Geometric Logic. CALCO Nick Bezhanishvili, Jim de Groot, Yde Venema
2019	J	`jnl`	Completeness for Ann. Pure Appl. Log. Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2019	A*	`conf`	Completeness for Game Logic. LICS Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019	J	`jnl`	Completeness for Game Logic. CoRR Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019	J	`jnl`	Disjunctive bases: normal forms and model theory for modal logics. Log. Methods Comput. Sci. Sebastian Enqvist, Yde Venema
2019	B	`conf`	Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. CALCO Vincenzo Ciancia, Yde Venema
2018	J	`jnl`	Completeness for the modal Theor. Comput. Sci. Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2018	J	`jnl`	Completeness of Flat Coalgebraic Fixpoint Logics. ACM Trans. Comput. Log. Lutz Schröder, Yde Venema
2018	J	`jnl`	Model Theory of Monadic Predicate Logic with the Infinity Quantifier. CoRR Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2018	J	`jnl`	Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties. CoRR Gaëlle Fontaine, Yde Venema
2018	J	`jnl`	Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties. Log. Methods Comput. Sci. Gaëlle Fontaine, Yde Venema
2018	J	`jnl`	The Power of the Weak. CoRR Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2017	J	`jnl`	An expressive completeness theorem for coalgebraic modal mu-calculi. CoRR Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2017	J	`jnl`	An expressive completeness theorem for coalgebraic modal mu-calculi. Log. Methods Comput. Sci. Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2017	B	`conf`	Disjunctive Bases: Normal Forms for Modal Logics. CALCO Sebastian Enqvist, Yde Venema
2017	J	`jnl`	Disjunctive bases: normal forms and model theory for modal logics. CoRR Sebastian Enqvist, Yde Venema
2017	J	`jnl`	Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema
2017	J	`jnl`	Parity Games and Automata for Game Logic (Extended Version). CoRR Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2017	—	`conf`	Parity Games and Automata for Game Logic. DALI@TABLEAUX Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2016	B	`conf`	Completeness for Coalgebraic Fixpoint Logic. CSL Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015	J	`jnl`	Expressiveness of the modal mu-calculus on monotone neighborhood structures. CoRR Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015	J	`jnl`	Lax extensions of coalgebra functors and their logic. J. Comput. Syst. Sci. Johannes Marti, Yde Venema
2015	A*	`conf`	Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. LICS Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015	J	`jnl`	Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. CoRR Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015	B	`conf`	Uniform Interpolation for Coalgebraic Fixpoint Logic. CALCO Johannes Marti, Fatemeh Seifan, Yde Venema
2015	J	`jnl`	Uniform Interpolation for Coalgebraic Fixpoint Logic. CoRR Johannes Marti, Fatemeh Seifan, Yde Venema
2014	—	`ch.`	Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective. Johan van Benthem on Logic and Information Dynamics Yde Venema
2014	B	`conf`	PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. Advances in Modal Logic Facundo Carreiro, Yde Venema
2014	J	`jnl`	Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. Marta Bílková, Alessandra Palmigiano, Yde Venema
2014	J	`jnl`	Weak MSO: Automata and Expressiveness Modulo Bisimilarity. CoRR Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2014	—	`conf`	Weak MSO: automata and expressiveness modulo bisimilarity. CSL-LICS Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2013	A*	`conf`	A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. LICS Alessandro Facchini, Yde Venema, Fabio Zanasi
2013	J	`jnl`	Generalised powerlocales via relation lifting. Math. Struct. Comput. Sci. Yde Venema, Steve Vickers, Jacob Vosmaer
2012	J	`jnl`	Completeness for the coalgebraic cover modality Log. Methods Comput. Sci. Clemens Kupke, Alexander Kurz, Yde Venema
2012	J	`jnl`	Foreword. Stud Logica Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema
2012	J	`jnl`	Generalized powerlocales via relation lifting CoRR Yde Venema, Steve Vickers, Jacob Vosmaer
2012	—	`conf`	Lax Extensions of Coalgebra Functors. CMCS Johannes Marti, Yde Venema
2012	—	`conf`	Stream Automata Are Coalgebras. CMCS Vincenzo Ciancia, Yde Venema
2011	J	`jnl`	Modal Logics are Coalgebraic. Comput. J. Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
2011	B	`conf`	Model Constructions for Moss' Coalgebraic Logic. CALCO Jort Bergfeld, Yde Venema
2011	J	`jnl`	On monotone modalities and adjointness. Math. Struct. Comput. Sci. Marta Bílková, Jirí Velebil, Yde Venema
2010	—	`conf`	Automata for Coalgebras: An Approach Using Predicate Liftings. ICALP (2) Gaëlle Fontaine, Raul Andres Leal, Yde Venema
2010	J	`jnl`	Coalgebra and Logic: A Brief Overview. J. Log. Comput. Alexander Kurz, Alessandra Palmigiano, Yde Venema
2010	B	`conf`	Coalgebraic Lindströom Theorems. Advances in Modal Logic Alexander Kurz, Yde Venema
2010	J	`jnl`	Completeness for flat modal fixpoint logics. Ann. Pure Appl. Log. Luigi Santocanale, Yde Venema
2010	B	`conf`	Flat Coalgebraic Fixed Point Logics. CONCUR Lutz Schröder, Yde Venema
2010	J	`jnl`	Flat coalgebraic fixed point logics CoRR Lutz Schröder, Yde Venema
2010	J	`jnl`	Logics and Algebras for Multiple Players. Rev. Symb. Log. Loes Olde Loohuis, Yde Venema
2010	B	`conf`	Uniform Interpolation for Monotone Modal Logic. Advances in Modal Logic Luigi Santocanale, Yde Venema
2010	J	`jnl`	Vietoris Bisimulations. J. Log. Comput. Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema
2009	J	`jnl`	Algebraic and Coalgebraic Logic Corner. J. Log. Comput. Yde Venema
2009	B	`conf`	Complementation of Coalgebra Automata. CALCO Christian Kissig, Yde Venema
2009	—	`conf`	Fixpoint Logics and Automata: A Coalgebraic Approach. FICS Yde Venema
2008	J	`jnl`	Coalgebraic Automata Theory: Basic Results CoRR Clemens Kupke, Yde Venema
2008	J	`jnl`	Coalgebraic Automata Theory: Basic Results. Log. Methods Comput. Sci. Clemens Kupke, Yde Venema
2008	J	`jnl`	Completeness for Flat Modal Fixpoint Logics CoRR Luigi Santocanale, Yde Venema
2008	B	`conf`	Completeness of the finitary Moss logic. Advances in Modal Logic Clemens Kupke, Alexander Kurz, Yde Venema
2008	—	`conf`	Modal Logics are Coalgebraic. BCS Int. Acad. Conf. Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
2008	B	`conf`	Proof systems for the coalgebraic cover modality. Advances in Modal Logic Marta Bílková, Alessandra Palmigiano, Yde Venema
2007	C	`conf`	A Modal Distributive Law (abstract). WoLLIC Yde Venema
2007	—	`ch.`	Algebras and coalgebras. Handbook of Modal Logic Yde Venema
2007	B	`conf`	Completeness for Flat Modal Fixpoint Logics. LPAR Luigi Santocanale, Yde Venema
2007	—	`book`	Finite Model Theory and Its Applications Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
2007	B	`conf`	Nabla Algebras and Chu Spaces. CALCO Alessandra Palmigiano, Yde Venema
2006	B	`ed.`	Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006 Advances in Modal Logic Guido Governatori, Ian M. Hodkinson, Yde Venema
2006	J	`jnl`	Automata and fixed point logic: A coalgebraic perspective. Inf. Comput. Yde Venema
2006	A*	`conf`	Definitorially Complete Description Logics. KR Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
2005	J	`jnl`	A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Log. Mai Gehrke, Hideo Nagahashi, Yde Venema
2005	A*	`conf`	Closure Properties of Coalgebra Automata. LICS Clemens Kupke, Yde Venema
2004	J	`jnl`	A Dual Characterization of Subdirectly Irreducible BAOs. Stud Logica Yde Venema
2004	—	`conf`	Automata and Fixed Point Logics for Coalgebras. CMCS Yde Venema
2004	J	`jnl`	Erdös graphs resolve Fine's canonicity problem. Bull. Symb. Log. Robert Goldblatt, Ian M. Hodkinson, Yde Venema
2004	J	`jnl`	Stone coalgebras. Theor. Comput. Sci. Clemens Kupke, Alexander Kurz, Yde Venema
2003	J	`jnl`	Atomless varieties. J. Symb. Log. Yde Venema
2003	J	`jnl`	Representation of Game Algebras. Stud Logica Yde Venema
2003	J	`jnl`	Simulating polyadic modal logics by monadic ones. J. Symb. Log. George Goguadze, Carla Piazza, Yde Venema
2003	—	`conf`	Stone Coalgebras. CMCS Clemens Kupke, Alexander Kurz, Yde Venema
2002	J	`jnl`	Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6. Theory Pract. Log. Program. Yde Venema
2001	J	`jnl`	A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. IEEE Trans. Knowl. Data Eng. Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
2001	—	`book`	Modal Logic Patrick Blackburn, Maarten de Rijke, Yde Venema
2001	J	`jnl`	Undecidable Theories of Lyndon Algebras. J. Symb. Log. Vera Stebletsova, Yde Venema
1999	J	`jnl`	Editorial. Log. J. IGPL Angelo Montanari, Alberto Policriti, Yde Venema
1999	J	`jnl`	Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. J. Log. Comput. Yde Venema
1998	B	`conf`	A Modal Logic of Information Change. TARK Joeri Engelfriet, Yde Venema
1998	B	`conf`	Canonical Pseudo-Correspondence. Advances in Modal Logic Yde Venema
1998	J	`jnl`	Rectangular Games. J. Symb. Log. Yde Venema
1998	—	`conf`	Specification of Dynamics for Knowledge-Based Systems. Transactions and Change in Logic Databases Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
1997	—	`conf`	Axioms for Jonsson's Q-Algebras. RelMiCS Vera Stebletsova, Yde Venema
1997	J	`jnl`	Editorial: Modal Logic and Dynamic Semantics. J. Log. Lang. Inf. Yde Venema
1997	—	`ch.`	Logic, Language, and Information. Relational Methods in Computer Science Patrick Blackburn, Maarten de Rijke, Yde Venema
1997	—	`book`	Multi-dimensional modal logic. Maarten Marx, Yde Venema
1996	B	`conf`	Atom Structures. Advances in Modal Logic Yde Venema
1996	J	`jnl`	Tree Models and (Labeled) Categorial Grammar. J. Log. Lang. Inf. Yde Venema
1995	J	`jnl`	Cylindrical Modal Logic. J. Symb. Log. Yde Venema
1995	J	`jnl`	Dynamic squares. J. Philos. Log. Patrick Blackburn, Yde Venema
1995	J	`jnl`	Meeting strength in substructural logics. Stud Logica Yde Venema
1995	J	`jnl`	Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras. Stud Logica Maarten de Rijke, Yde Venema
1994	J	`jnl`	A Modal Logic for Quantification and Substitution. Log. J. IGPL Yde Venema
1994	—	`conf`	Completeness through Flatness in Two-Dimensional Temporal Logic. ICTL Yde Venema
1993	J	`jnl`	Derivation Rules as Anti-Axioms in Modal Logic. J. Symb. Log. Yde Venema
1992	J	`jnl`	A note on the tense logic of dominoes. J. Philos. Log. Yde Venema
1991	J	`jnl`	A Modal Logic for Chopping Intervals. J. Log. Comput. Yde Venema
1990	J	`jnl`	Expressiveness and Completeness of an Interval Tense Logic. Notre Dame J. Formal Log. Yde Venema