![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Yde Venema
Person information
- affiliation: University of Amsterdam, Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2007
- [b3]Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein:
Finite Model Theory and Its Applications. Texts in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-00428-8, pp. 1-437 - 2001
- [b2]Patrick Blackburn, Maarten de Rijke
, Yde Venema:
Modal Logic. Cambridge Tracts in Theoretical Computer Science 53, Cambridge University Press 2001, ISBN 978-1-10705088-4, pp. 1-554 - 1997
- [b1]Maarten Marx, Yde Venema:
Multi-dimensional modal logic. Applied logic series 4, Kluwer 1997, ISBN 978-0-7923-4345-5, pp. 1-155
Journal Articles
- 2024
- [j50]Ignacio Bellas Acosta, Yde Venema:
Counting to infinity: Graded Modal Logic with an infinity Diamond. Rev. Symb. Log. 17(1): 1-35 (2024) - 2022
- [j49]Facundo Carreiro, Alessandro Facchini
, Yde Venema, Fabio Zanasi
:
Model theory of monadic predicate logic with the infinity quantifier. Arch. Math. Log. 61(3-4): 465-502 (2022) - [j48]Nick Bezhanishvili
, Jim de Groot
, Yde Venema:
Coalgebraic Geometric Logic: Basic Theory. Log. Methods Comput. Sci. 18(4) (2022) - 2020
- [j47]Facundo Carreiro, Alessandro Facchini
, Yde Venema, Fabio Zanasi
:
The Power of the Weak. ACM Trans. Comput. Log. 21(2): 15:1-15:47 (2020) - 2019
- [j46]Sebastian Enqvist, Fatemeh Seifan
, Yde Venema:
Completeness for μ-calculi: A coalgebraic approach. Ann. Pure Appl. Log. 170(5): 578-641 (2019) - [j45]Guram Bezhanishvili, Nick Bezhanishvili
, Thomas Santoli, Yde Venema:
A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. 170(11) (2019) - [j44]Sebastian Enqvist, Yde Venema:
Disjunctive bases: normal forms and model theory for modal logics. Log. Methods Comput. Sci. 15(1) (2019) - 2018
- [j43]Gaëlle Fontaine, Yde Venema:
Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties. Log. Methods Comput. Sci. 14(1) (2018) - [j42]Sebastian Enqvist, Fatemeh Seifan
, Yde Venema:
Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics. Theor. Comput. Sci. 727: 37-100 (2018) - [j41]Lutz Schröder
, Yde Venema:
Completeness of Flat Coalgebraic Fixpoint Logics. ACM Trans. Comput. Log. 19(1): 4:1-4:34 (2018) - 2017
- [j40]Guram Bezhanishvili, Nick Bezhanishvili
, Sumit Sourabh, Yde Venema:
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. 25(3): 381-401 (2017) - [j39]Sebastian Enqvist, Fatemeh Seifan
, Yde Venema:
An expressive completeness theorem for coalgebraic modal mu-calculi. Log. Methods Comput. Sci. 13(2) (2017) - 2015
- [j38]Johannes Marti, Yde Venema:
Lax extensions of coalgebra functors and their logic. J. Comput. Syst. Sci. 81(5): 880-900 (2015) - 2014
- [j37]Marta Bílková
, Alessandra Palmigiano
, Yde Venema:
Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. 549: 36-60 (2014) - 2013
- [j36]Yde Venema, Steve Vickers, Jacob Vosmaer:
Generalised powerlocales via relation lifting. Math. Struct. Comput. Sci. 23(1): 142-199 (2013) - 2012
- [j35]Clemens Kupke, Alexander Kurz, Yde Venema:
Completeness for the coalgebraic cover modality. Log. Methods Comput. Sci. 8(3) (2012) - [j34]Lev D. Beklemishev
, Guram Bezhanishvili, Daniele Mundici, Yde Venema:
Foreword. Stud Logica 100(1-2): 1-7 (2012) - 2011
- [j33]Corina Cîrstea
, Alexander Kurz
, Dirk Pattinson, Lutz Schröder
, Yde Venema:
Modal Logics are Coalgebraic. Comput. J. 54(1): 31-41 (2011) - [j32]Marta Bílková
, Jirí Velebil, Yde Venema:
On monotone modalities and adjointness. Math. Struct. Comput. Sci. 21(2): 383-416 (2011) - 2010
- [j31]Luigi Santocanale
, Yde Venema:
Completeness for flat modal fixpoint logics. Ann. Pure Appl. Log. 162(1): 55-82 (2010) - [j30]Alexander Kurz
, Alessandra Palmigiano
, Yde Venema:
Coalgebra and Logic: A Brief Overview. J. Log. Comput. 20(5): 985-990 (2010) - [j29]Nick Bezhanishvili
, Gaëlle Fontaine, Yde Venema:
Vietoris Bisimulations. J. Log. Comput. 20(5): 1017-1040 (2010) - [j28]Loes Olde Loohuis, Yde Venema:
Logics and Algebras for Multiple Players. Rev. Symb. Log. 3(3): 485-519 (2010) - 2009
- [j27]Yde Venema:
Algebraic and Coalgebraic Logic Corner. J. Log. Comput. 19(2): 303 (2009) - 2008
- [j26]Clemens Kupke
, Yde Venema:
Coalgebraic Automata Theory: Basic Results. Log. Methods Comput. Sci. 4(4) (2008) - 2006
- [j25]Yde Venema:
Automata and fixed point logic: A coalgebraic perspective. Inf. Comput. 204(4): 637-678 (2006) - 2005
- [j24]Mai Gehrke, Hideo Nagahashi, Yde Venema:
A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Log. 131(1-3): 65-102 (2005) - 2004
- [j23]Robert Goldblatt
, Ian M. Hodkinson
, Yde Venema:
Erdös graphs resolve Fine's canonicity problem. Bull. Symb. Log. 10(2): 186-208 (2004) - [j22]Yde Venema:
A Dual Characterization of Subdirectly Irreducible BAOs. Stud Logica 77(1): 105-115 (2004) - [j21]Clemens Kupke
, Alexander Kurz
, Yde Venema:
Stone coalgebras. Theor. Comput. Sci. 327(1-2): 109-134 (2004) - 2003
- [j20]George Goguadze, Carla Piazza, Yde Venema:
Simulating polyadic modal logics by monadic ones. J. Symb. Log. 68(2): 419-462 (2003) - [j19]Yde Venema:
Atomless varieties. J. Symb. Log. 68(2): 607-614 (2003) - [j18]Yde Venema:
Representation of Game Algebras. Stud Logica 75(2): 239-256 (2003) - 2002
- [j17]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): 419-421 (2002) - 2001
- [j16]Vera Stebletsova, Yde Venema:
Undecidable Theories of Lyndon Algebras. J. Symb. Log. 66(1): 207-224 (2001) - [j15]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): 462-496 (2001) - 1999
- [j14]Angelo Montanari, Alberto Policriti, Yde Venema:
Editorial. Log. J. IGPL 7(1): 5-6 (1999) - [j13]Yde Venema:
Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes. J. Log. Comput. 9(5): 601-621 (1999) - 1998
- [j12]Yde Venema:
Rectangular Games. J. Symb. Log. 63(4): 1549-1564 (1998) - 1997
- [j11]Yde Venema:
Editorial: Modal Logic and Dynamic Semantics. J. Log. Lang. Inf. 6(4): 357-360 (1997) - 1996
- [j10]Yde Venema:
Tree Models and (Labeled) Categorial Grammar. J. Log. Lang. Inf. 5(3/4): 253-277 (1996) - 1995
- [j9]Patrick Blackburn
, Yde Venema:
Dynamic squares. J. Philos. Log. 24(5): 469-523 (1995) - [j8]Yde Venema:
Cylindrical Modal Logic. J. Symb. Log. 60(2): 591-623 (1995) - [j7]Yde Venema:
Meeting strength in substructural logics. Stud Logica 54(1): 3-32 (1995) - [j6]Maarten de Rijke, Yde Venema:
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras. Stud Logica 54(1): 61-78 (1995) - 1994
- [j5]Yde Venema:
A Modal Logic for Quantification and Substitution. Log. J. IGPL 2(1): 31-45 (1994) - 1993
- [j4]Yde Venema:
Derivation Rules as Anti-Axioms in Modal Logic. J. Symb. Log. 58(3): 1003-1034 (1993) - 1992
- [j3]Yde Venema:
A note on the tense logic of dominoes. J. Philos. Log. 21(2): 173-182 (1992) - 1991
- [j2]Yde Venema:
A Modal Logic for Chopping Intervals. J. Log. Comput. 1(4): 453-476 (1991) - 1990
- [j1]Yde Venema:
Expressiveness and Completeness of an Interval Tense Logic. Notre Dame J. Formal Log. 31(4): 529-547 (1990)
Conference and Workshop Papers
- 2023
- [c44]Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema:
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. TABLEAUX 2023: 242-259 - [c43]Jan Rooduijn, Yde Venema:
Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. WoLLIC 2023: 318-335 - 2022
- [c42]Clemens Kupke
, Johannes Marti, Yde Venema:
Succinct Graph Representations of μ-Calculus Formulas. CSL 2022: 29:1-29:18 - [c41]Clemens Kupke
, Johannes Marti, Yde Venema:
Size measures and alphabetic equivalence in the μ-calculus. LICS 2022: 18:1-18:13 - 2021
- [c40]Johannes Marti, Yde Venema:
A Focus System for the Alternation-Free μ-Calculus. TABLEAUX 2021: 371-388 - [c39]Jan Rooduijn, Yde Venema:
Filtration and canonical completeness for continuous modal mu-calculi. GandALF 2021: 211-226 - [c38]Clemens Kupke
, Johannes Marti, Yde Venema:
On the size of disjunctive formulas in the μ-calculus. GandALF 2021: 291-307 - 2019
- [c37]Vincenzo Ciancia, Yde Venema:
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. CALCO 2019: 5:1-5:18 - [c36]Nick Bezhanishvili
, Jim de Groot
, Yde Venema:
Coalgebraic Geometric Logic. CALCO 2019: 7:1-7:18 - [c35]Sebastian Enqvist, Helle Hvid Hansen
, Clemens Kupke
, Johannes Marti, Yde Venema:
Completeness for Game Logic. LICS 2019: 1-13 - [c34]Gian Carlo Milanese
, Yde Venema:
Closure Ordinals of the Two-Way Modal µ-Calculus. WoLLIC 2019: 498-515 - 2017
- [c33]Sebastian Enqvist, Yde Venema:
Disjunctive Bases: Normal Forms for Modal Logics. CALCO 2017: 11:1-11:16 - [c32]Helle Hvid Hansen
, Clemens Kupke
, Johannes Marti, Yde Venema:
Parity Games and Automata for Game Logic. DALI@TABLEAUX 2017: 115-132 - 2016
- [c31]Sebastian Enqvist, Fatemeh Seifan, Yde Venema:
Completeness for Coalgebraic Fixpoint Logic. CSL 2016: 7:1-7:19 - 2015
- [c30]Johannes Marti, Fatemeh Seifan
, Yde Venema:
Uniform Interpolation for Coalgebraic Fixpoint Logic. CALCO 2015: 238-252 - [c29]Sebastian Enqvist, Fatemeh Seifan
, Yde Venema:
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. LICS 2015: 353-365 - 2014
- [c28]Facundo Carreiro, Yde Venema:
PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. Advances in Modal Logic 2014: 74-93 - [c27]Facundo Carreiro, Alessandro Facchini
, Yde Venema, Fabio Zanasi
:
Weak MSO: automata and expressiveness modulo bisimilarity. CSL-LICS 2014: 27:1-27:27 - 2013
- [c26]Alessandro Facchini
, Yde Venema, Fabio Zanasi
:
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. LICS 2013: 478-487 - 2012
- [c25]Vincenzo Ciancia
, Yde Venema:
Stream Automata Are Coalgebras. CMCS 2012: 90-108 - [c24]Johannes Marti, Yde Venema:
Lax Extensions of Coalgebra Functors. CMCS 2012: 150-169 - 2011
- [c23]Jort Bergfeld, Yde Venema:
Model Constructions for Moss' Coalgebraic Logic. CALCO 2011: 100-114 - 2010
- [c22]Alexander Kurz, Yde Venema:
Coalgebraic Lindströom Theorems. Advances in Modal Logic 2010: 292-309 - [c21]Luigi Santocanale, Yde Venema:
Uniform Interpolation for Monotone Modal Logic. Advances in Modal Logic 2010: 350-370 - [c20]Lutz Schröder
, Yde Venema:
Flat Coalgebraic Fixed Point Logics. CONCUR 2010: 524-538 - [c19]Gaëlle Fontaine, Raul Andres Leal, Yde Venema:
Automata for Coalgebras: An Approach Using Predicate Liftings. ICALP (2) 2010: 381-392 - 2009
- [c18]Christian Kissig, Yde Venema:
Complementation of Coalgebra Automata. CALCO 2009: 81-96 - [c17]Yde Venema:
Fixpoint Logics and Automata: A Coalgebraic Approach. FICS 2009: 10 - 2008
- [c16]Marta Bílková, Alessandra Palmigiano, Yde Venema:
Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21 - [c15]Clemens Kupke, Alexander Kurz, Yde Venema:
Completeness of the finitary Moss logic. Advances in Modal Logic 2008: 193-217 - [c14]Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema:
Modal Logics are Coalgebraic. BCS Int. Acad. Conf. 2008: 128-140 - 2007
- [c13]Alessandra Palmigiano, Yde Venema:
Nabla Algebras and Chu Spaces. CALCO 2007: 394-408 - [c12]Luigi Santocanale, Yde Venema:
Completeness for Flat Modal Fixpoint Logics. LPAR 2007: 499-513 - [c11]Yde Venema:
A Modal Distributive Law (abstract). WoLLIC 2007: 351 - 2006
- [c10]Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema:
Definitorially Complete Description Logics. KR 2006: 79-89 - 2005
- [c9]Clemens Kupke, Yde Venema:
Closure Properties of Coalgebra Automata. LICS 2005: 199-208 - 2004
- [c8]Yde Venema:
Automata and Fixed Point Logics for Coalgebras. CMCS 2004: 355-375 - 2003
- [c7]Clemens Kupke
, Alexander Kurz
, Yde Venema:
Stone Coalgebras. CMCS 2003: 170-190 - 1998
- [c6]Yde Venema:
Canonical Pseudo-Correspondence. Advances in Modal Logic 1998: 421-430 - [c5]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: 37-68 - [c4]Joeri Engelfriet, Yde Venema:
A Modal Logic of Information Change. TARK 1998: 125-131 - 1997
- [c3]Vera Stebletsova, Yde Venema:
Axioms for Jonsson's Q-Algebras. RelMiCS 1997: 215-224 - 1996
- [c2]Yde Venema:
Atom Structures. Advances in Modal Logic 1996: 291-305 - 1994
- [c1]Yde Venema:
Completeness through Flatness in Two-Dimensional Temporal Logic. ICTL 1994: 149-164
Parts in Books or Collections
- 2014
- [p3]Yde Venema:
Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective. Johan van Benthem on Logic and Information Dynamics 2014: 33-65 - 2007
- [p2]Yde Venema:
Algebras and coalgebras. Handbook of Modal Logic 2007: 331-426 - 1997
- [p1]Patrick Blackburn, Maarten de Rijke, Yde Venema:
Logic, Language, and Information. Relational Methods in Computer Science 1997: 211-225
Editorship
- 2006
- [e1]Guido Governatori, Ian M. Hodkinson, Yde Venema:
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. College Publications 2006, ISBN 1-904987-20-6 [contents]
Informal and Other Publications
- 2023
- [i19]Jan Rooduijn, Yde Venema:
Focus-style proofs for the two-way alternation-free μ-calculus. CoRR abs/2307.01773 (2023) - [i18]Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema:
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. CoRR abs/2307.06897 (2023) - 2021
- [i17]Johannes Marti, Yde Venema:
Focus-style proof systems and interpolation for the alternation-free μ-calculus. CoRR abs/2103.01671 (2021) - 2020
- [i16]Clemens Kupke, Johannes Marti, Yde Venema:
Size matters in the modal μ-calculus. CoRR abs/2010.14430 (2020) - 2019
- [i15]Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Completeness for Game Logic. CoRR abs/1904.07691 (2019) - 2018
- [i14]Gaëlle Fontaine, Yde Venema:
Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties. CoRR abs/1801.05994 (2018) - [i13]Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi:
Model Theory of Monadic Predicate Logic with the Infinity Quantifier. CoRR abs/1809.03262 (2018) - [i12]Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi:
The Power of the Weak. CoRR abs/1809.03896 (2018) - 2017
- [i11]Sebastian Enqvist, Fatemeh Seifan, Yde Venema:
An expressive completeness theorem for coalgebraic modal mu-calculi. CoRR abs/1704.08637 (2017) - [i10]Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Parity Games and Automata for Game Logic (Extended Version). CoRR abs/1709.00777 (2017) - [i9]Sebastian Enqvist, Yde Venema:
Disjunctive bases: normal forms and model theory for modal logics. CoRR abs/1710.10706 (2017) - 2015
- [i8]Sebastian Enqvist, Fatemeh Seifan, Yde Venema:
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. CoRR abs/1501.07215 (2015) - [i7]Sebastian Enqvist, Fatemeh Seifan, Yde Venema:
Expressiveness of the modal mu-calculus on monotone neighborhood structures. CoRR abs/1502.07889 (2015) - [i6]Johannes Marti, Fatemeh Seifan, Yde Venema:
Uniform Interpolation for Coalgebraic Fixpoint Logic. CoRR abs/1503.02319 (2015) - 2014
- [i5]Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi:
Weak MSO: Automata and Expressiveness Modulo Bisimilarity. CoRR abs/1401.4374 (2014) - 2012
- [i4]Yde Venema, Steve Vickers, Jacob Vosmaer:
Generalized powerlocales via relation lifting. CoRR abs/1202.3264 (2012) - 2010
- [i3]Lutz Schröder, Yde Venema:
Flat coalgebraic fixed point logics. CoRR abs/1004.2717 (2010) - 2008
- [i2]Clemens Kupke, Yde Venema:
Coalgebraic Automata Theory: Basic Results. CoRR abs/0811.1976 (2008) - [i1]Luigi Santocanale, Yde Venema:
Completeness for Flat Modal Fixpoint Logics. CoRR abs/0812.2390 (2008)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint