Epistemic Monadic Boolean Algebras.

Juntong Guo Minghui Ma

Published in: LORI (2023)

Keyphrases

real valued
boolean functions
deductive databases
belief change
datalog queries
boolean logic
temporal reasoning
epistemic logic
datalog programs
topological spaces
boolean algebra
relation algebra
distributive lattices
temporal constraints
conceptual change
valued logic