On deontic action logics based on Boolean algebra.

Robert Trypuz Piotr Kulicki

Published in: J. Log. Comput. (2015)

Keyphrases

boolean algebra
classical logic
constraint query languages
expressive power
set theory
cardinality constraints
theorem prover
modal logic
first order logic
fuzzy logic
inference rules
databases
knowledge base
query language
logic programming
mathematical morphology