Logics Based on Restricted Nmatrix Semantics.
Marcelo E. ConiglioGuilherme V. ToledoPublished in: Stud Logica (2022)
Keyphrases
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- epistemic logic
- conditional logic
- proof theoretic
- default reasoning
- formal semantics
- valued semantics
- expressive power
- computational properties
- higher order logic
- modal logic
- default logic
- modal operators
- neural network
- inference rules
- intuitionistic logic
- semantic information
- knowledge representation formalisms
- kripke models
- closed world
- model theoretic
- speech acts
- conceptual model
- relational databases