Modular Many-Valued Semantics for combined Logics.
Carlos CaleiroSérgio MarcelinoPublished in: J. Symb. Log. (2024)
Keyphrases
- modal logic
- epistemic logic
- conditional logic
- nonmonotonic logics
- propositional dynamic logic
- proof theory
- kripke models
- truth values
- expressive power
- computational properties
- logic programming
- formal semantics
- decision procedures
- modal operators
- dynamic logic
- semantic information
- valued semantics
- neural network
- belief revision
- rough sets
- proof theoretic
- valued logic
- modular structure
- description logics
- logic programs
- autoepistemic logic
- operational semantics
- logical framework