Algebraic semantics of the $\left\{ \rightarrow , \square \right\} $-fragment of Propositional Lax Logic.
Sergio A. CelaniDaniela MontangiePublished in: Soft Comput. (2020)
Keyphrases
- sound and complete axiomatization
- autoepistemic logic
- algebraic structure
- model theoretic
- logic programming
- belief revision
- predicate calculus
- proof theory
- nonmonotonic logics
- propositional logic
- conditional logic
- default logic
- multi valued
- truth maintenance systems
- sound and complete with respect
- default reasoning
- logical framework
- proof procedure
- proof theoretic
- epistemic logic
- logical theories
- classical logic
- propositional dynamic logic
- operational semantics
- classical first order logic
- modal logic
- alternating time temporal logic
- first order logic
- nonmonotonic reasoning
- fixed point semantics
- computational properties
- dynamic logic
- logical properties
- strong equivalence
- description logics
- formal semantics
- deontic logic
- modal operators
- propositional theories
- derivation rules
- possibilistic logic
- probabilistic logic
- deductive reasoning
- deductive databases
- formal language
- automata theoretic