Taut monads, dynamic logic and determinism

DOI10.1016/J.ENTCS.2007.02.037MaRDI QIDQ5262941zbMATH OpenOpenAlexWikidataFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 3704559 (Why is no real title available?)
• scientific article; zbMATH DE number 3724515 (Why is no real title available?)
• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A class of fuzzy theories
• Boolean and classical restriction categories
• Boolean restriction categories and taut monads
• Coequalizers and free triples
• Comprehending monads
• Filter Monads, Continuous Lattices and Closure Systems
• Implementing collection classes with monads
• Notions of computation and monads
• Predicate Transformer Semantics
• Restriction categories. I: Categories of partial maps
• Taut monads and \(T0\)-spaces.

Cited in

(4)

• Truthful Monadic Abstractions
• Monad compositions II: Kleisli strength
• scientific article; zbMATH DE number 4112055 (Why is no real title available?)
• 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)