Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: coalgebraic logic

Bottom of Page

1 to 2 of 2

  1.  
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeMay 19th 2015
    • (edited May 19th 2015)

    We did not have the page on coalgebraic logic so I just created as a place for links for now, we could expand on it later.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 19th 2015

    We have bits and pieces scattered about, e.g., coalgebraic model for modal logic.

    There are also some references at my post, such as Venema’s Algebras and Coalgebras.

1 to 2 of 2

  1.