Neighbourhood Semantics for Modal Relevant Logics.
Nicholas FerenzAndrew TedderPublished in: J. Philos. Log. (2023)
Keyphrases
- nonmonotonic logics
- modal logic
- epistemic logic
- kripke models
- modal operators
- propositional dynamic logic
- conditional logic
- proof theory
- dynamic logic
- default logic
- propositional logic
- proof theoretic
- formal semantics
- semantic information
- expressive power
- autoepistemic logic
- decision procedures
- classical logic
- default reasoning
- nonmonotonic reasoning
- temporal logic
- closely related
- relational databases
- computational properties
- default theories
- neural network
- model theoretic
- integrity constraints
- query language
- database systems