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

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

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

Cited In (3)

• Monad compositions II: Kleisli strength
• Truthful Monadic Abstractions
• Taut monads and \(T0\)-spaces.

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)