Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
Jonas ForsterLutz SchröderPaul WildHarsh BeoharSebastian GurkeKarla MessingPublished in: CMCS (2024)
Keyphrases
- alternating time temporal logic
- autoepistemic logic
- nonmonotonic logics
- formal semantics
- database
- proof theory
- propositional dynamic logic
- epistemic logic
- proof theoretic
- artificial intelligence
- conditional logic
- imperfect information
- web services
- high level
- object oriented
- modal logic
- default logic
- databases
- data sets