Modal meet-implication logic.

Jim de Groot Dirk Pattinson

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

modal logic
nonmonotonic logics
classical logic
logic programming
temporal logic
modal operators
kripke models
functional dependencies
multi valued
dynamic logic
inference rules
epistemic logic
relational databases
data model
probabilistic logic
transition systems