Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.

Nick Bezhanishvili

Published in: Math. Log. Q. (2002)

Keyphrases

modal logic
epistemic logic
temporal logic
inference rules
decision procedures
conditional logic
probabilistic model
situation calculus