Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems.

Prosenjit Howlader Mohua Banerjee

Published in: J. Log. Lang. Inf. (2023)

Keyphrases

modal logic
building blocks
complex systems
database systems
management system
real valued
database
data mining
information systems
distributed systems