Infectious semantics and analytic calculi for even more inclusion logics.
Carlos CaleiroSérgio MarcelinoPedro FilipePublished in: ISMVL (2020)
Keyphrases
- propositional dynamic logic
- conditional logic
- sequent calculi
- proof theory
- nonmonotonic logics
- epistemic logic
- proof theoretic
- valued semantics
- modal logic
- default reasoning
- reasoning problems
- formal semantics
- expressive power
- computational properties
- proof procedures
- logic programming
- higher order logic
- vague concepts
- model theoretic
- intuitionistic logic
- belief revision
- modal operators
- knowledge representation formalisms
- consistent query answering
- inference rules
- tableau calculus
- operational semantics