Login / Signup
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
Jonas Forster
Lutz Schröder
Paul Wild
Harsh Beohar
Sebastian Gurke
Barbara König
Karla Messing
Published in:
CoRR (2023)
Keyphrases
</>
alternating time temporal logic
autoepistemic logic
nonmonotonic logics
logic programming
conditional logic
proof theory
classical logic
higher order logic
propositional dynamic logic
formal semantics
epistemic logic
valued semantics
model checking
modal logic
default logic
real time
high level