On the Presburger fragment of logics with multiteam semantics.
Richard WilkePublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- epistemic logic
- conditional logic
- valued semantics
- proof theoretic
- modal logic
- computational properties
- formal semantics
- higher order logic
- expressive power
- modal operators
- default logic
- xml keys
- model theoretic
- semantic information
- proof procedures
- database systems
- kripke models
- valued logic
- decision procedures
- operational semantics
- classical logic
- propositional logic
- inference rules
- logic programming