Skip to contents

Marx, Maarten [Author]; Venema, Yde [Author]

Multi-dimensional modal logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Academic, 1997

Published in: Applied logic series ; 4
Blackburn, Patrick [Author]; Rijke, Maarten de [Author]; Venema, Yde [Author]

Modal logic - [4. print. with corr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2010

Published in: Cambridge tracts in theoretical computer science ; 53.2010
Blackburn, Patrick [Author]; Rijke, Maarten de [Author]; Venema, Yde [Author]

Modal logic - [Reprinted with corr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2004

Published in: Cambridge tracts in theoretical computer science ; 53.2004
Blackburn, Patrick [Author]; Rijke, Maarten de [Author]; Venema, Yde [Author]

Modal logic - [1. paperback ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 2002

Published in: Cambridge tracts in theoretical computer science ; 53.2002
Blackburn, Patrick [Author]; Rijke, Maarten de [Author]; Venema, Yde [Author]

Modal logic - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 2001

Published in: Cambridge tracts in theoretical computer science ; 53
Marx, Maarten [Author] ; Venema, Yde [Other]

Multi-Dimensional Modal Logic

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht: Springer, 1997

Published in: Applied Logic Series ; 4- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Ciancia, Vincenzo [Author]; Venema, Yde [Author] ; Vincenzo Ciancia and Yde Venema [Contributor]

Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Enqvist, Sebastian [Author]; Venema, Yde [Author] ; Sebastian Enqvist and Yde Venema [Contributor]

Disjunctive Bases: Normal Forms for Modal Logics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Kupke, Clemens [Author]; Marti, Johannes [Author]; Venema, Yde [Author] ; Clemens Kupke and Johannes Marti and Yde Venema [Contributor]

Succinct Graph Representations of μ-Calculus Formulas

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Bezhanishvili, Nick [Author]; de Groot, Jim [Author]; Venema, Yde [Author] ; Nick Bezhanishvili and Jim de Groot and Yde Venema [Contributor]

Coalgebraic Geometric Logic

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Enqvist, Sebastian [Author]; Seifan, Fatemeh [Author]; Venema, Yde [Author] ; Sebastian Enqvist and Fatemeh Seifan and Yde Venema [Contributor]

Completeness for Coalgebraic Fixpoint Logic

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Marti, Johannes [Author]; Seifan, Fatemeh [Author]; Venema, Yde [Author] ; Johannes Marti and Fatemeh Seifan and Yde Venema [Contributor]

Uniform Interpolation for Coalgebraic Fixpoint Logic

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Blackburn, Patrick [Author]; Rijke, Maarten de [Author]; Venema, Yde [Author]

Modal logic - [Fourth printing with corrections]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge: Cambridge University Press, 2010

Published in: Cambridge tracts in theoretical computer science ; 53
Eck, Pascal van [Author]; Engelfriet, Joeri [Author]; Fensel, Dieter [Author]; Harmelen, Frank van [Author]; Venema, Yde [Author]; Willems, Mark [Author]

Specification of dynamics for knowledge-based systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2007-08-02
Eck, Pascal van [Author]; Engelfriet, Joeri [Author]; Fensel, Dieter [Author]; Harmelen, Frank van [Author]; Venema, Yde [Author]; Willems, Mark [Author]

Specification of dynamics for knowledge-based systems. Extended abstract

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2007-08-02
Venema, Yde

Automata and fixed point logic: A coalgebraic perspective

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2006

Published in: Information and Computation
Venema, Yde

Handbook of Modal Logic: 6 Algebras and coalgebras

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier, 2007

Published in: Handbook of Modal Logic
Venema, Yde

Logic, Language, Information and Computation: A Modal Distributive Law (abstract)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2007

Published in: Logic, Language, Information and Computation
Venema, Yde

Automata and Fixed Point Logics for Coalgebras

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2004

Published in: Electronic Notes in Theoretical Computer Science
Venema, Yde

A Dual Characterization of Subdirectly Irreducible BAOs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2004

Published in: Studia Logica

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication