Generalized Bundled Fragments for First-Order Modal Logic.
Mo LiuAnantha PadmanabhaR. RamanujamYanjing WangPublished in: MFCS (2022)
Keyphrases
- modal logic
- temporal logic
- mazurkiewicz traces
- conditional logic
- decision procedures
- inference rules
- general logic programs
- epistemic logic
- model checking
- nonmonotonic logics
- default logic
- classical logic
- higher order
- dynamic logic
- prime implicates
- situation calculus
- first order logic
- satisfiability problem
- probabilistic logic
- model theoretic
- data model