Implicational tonoid semilinear logics: Prelinear logics and their relational semantics.
Eunsuk YangPublished in: J. Intell. Fuzzy Syst. (2022)
Keyphrases
- propositional dynamic logic
- proof theory
- conditional logic
- expressive power
- nonmonotonic logics
- epistemic logic
- modal logic
- valued semantics
- proof theoretic
- higher order logic
- inference rules
- default reasoning
- valued logic
- default logic
- modal operators
- database
- proof procedures
- computational properties
- intuitionistic logic
- bayesian networks
- propositional calculus
- model checking
- data model
- first order logic
- relational model
- relational data