Sign in

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

Prosenjit HowladerMohua 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