Algebras and Kleisli categories associated with monads Bisimulation Borel space Central element Continuous probabilities Definibilidad Elemento central Equational logic, Malʹcev conditions Factor congruences General algebraic systems Interpolation, preservation, definability Logic Logical characterization Mathematical logic Model Check Modes of computation Mónada No determinismo Nondeterministic Markov decision process Preservación Probabilidad Probabilistic automaton Transition probability function Adjunción Bisimilitud probabilista Descriptive set theory Estructuras algebraicas ordenadas Labelled Markov processes Logic in computer science Lógicas no-clásicas