Completeness for μ-calculi: A coalgebraic approach

Annals of Pure and Applied Logic 170 (5):578-641 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A new coalgebraic Lindström theorem.Sebastian Enqvist - 2016 - Journal of Logic and Computation 26 (5):1541-1566.
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
Ann. pure appl. logic : Erratum to “coalgebraic logic” 96 277–317.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 99 (1-3):241-259.
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
The λ μ T -calculus.Herman Geuvers, Robbert Krebbers & James McKinna - 2013 - Annals of Pure and Applied Logic 164 (6):676-701.
A note on μ-stabilizers in ACVF.Jinhe Ye - 2023 - Annals of Pure and Applied Logic 174 (3):103210.
The secret life of μ-clubs.Pierre Matet - 2022 - Annals of Pure and Applied Logic 173 (9):103162.
A topological characterization of (λ, μ)*-compactness.Heikki Mannila - 1983 - Annals of Pure and Applied Logic 25 (3):301-305.
Geometric stability theory for μ-structures.Junguk Lee - 2019 - Annals of Pure and Applied Logic 170 (8):843-866.

Analytics

Added to PP
2018-12-30

Downloads
27 (#589,846)

6 months
8 (#530,632)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

Citations of this work

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
Completeness for flat modal fixpoint logics.Luigi Santocanale & Yde Venema - 2010 - Annals of Pure and Applied Logic 162 (1):55-82.
Completions of μ-algebras.Luigi Santocanale - 2008 - Annals of Pure and Applied Logic 154 (1):27-50.

Add more references