Taut monads, dynamic logic and determinism

DOI10.1016/J.ENTCS.2007.02.037zbMATH Open1316.68068OpenAlexW2022787866WikidataQ126266007 ScholiaQ126266007MaRDI QIDQ5262941FDOQ5262941

Ernie Manes

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.037

Recommendations

• Boolean restriction categories and taut monads
• Taut monads and \(T0\)-spaces.
• A MONADIC APPROACH TO THE MODAL THEORY
• Partially ordered monads for monadic topologies, rough sets and Kleene algebras
• Monadic dynamic algebras

zbMATH Keywords

filterdynamic logictaut monadrestriction categoryBoolean categorycollection typedeterministic maplocally Boolean poset

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55)

Cites Work

• Coequalizers and free triples
• Title not available (Why is that?)
• Notions of computation and monads
• Restriction categories. I: Categories of partial maps
• Title not available (Why is that?)
• Comprehending monads
• Filter Monads, Continuous Lattices and Closure Systems
• Taut monads and \(T0\)-spaces.
• A class of fuzzy theories
• Title not available (Why is that?)
• Implementing collection classes with monads
• Title not available (Why is that?)
• Predicate Transformer Semantics
• Boolean and classical restriction categories
• Boolean restriction categories and taut monads

Cited In (4)

• Monad compositions II: Kleisli strength
• Truthful Monadic Abstractions
• Taut monads and \(T0\)-spaces.
• Title not available (Why is that?)

This page was built for publication: Taut monads, dynamic logic and determinism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262941)