Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames.

Published in: J. Symb. Log. (2024)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
relational data
data model
classical logic
relational databases
situation calculus
modal operators
video frames
key frames
kripke models
default logic
database systems
artificial intelligence