Kripke Semantics for Intersection Formulas.

Andrej Dudenhefner Pawel Urzyczyn

Published in: ACM Trans. Comput. Log. (2021)

Keyphrases

modal operators
modal logic
logic programming
inference rules
database
model checking
formal semantics
desirable properties
predicate calculus
complete axiomatization
temporal logic
genetic algorithm
neural network
horn clauses
possibilistic logic
relational calculus
semantic information
argumentation semantics