Neighbourhood Semantics for Quantified Relevant Logics.
Andrew TedderNicholas FerenzPublished in: J. Philos. Log. (2022)
Keyphrases
- propositional dynamic logic
- proof theory
- epistemic logic
- expressive power
- proof theoretic
- nonmonotonic logics
- conditional logic
- formal semantics
- computational properties
- valued semantics
- default reasoning
- grounded semantics
- propositional calculus
- default logic
- inference rules
- logic programs
- model theoretic
- semantic information
- data model
- data sets