Jonas Forster und Lutz Schröder - Info zur Person

(1 - 4 von 4

)

[ ] Non-iterative Modal Logics are Coalgebraic

arxiv.org

von J Forster · — Authors:Jonas Forster, Lutz Schröder · Download PDF. Abstract: A modal logic is \emph{non-iterative} if it can be defined by axioms that do ... › cs

13th Conference on Advances in Modal Logic, AiML 2020, Helsinki,...

researchr.org

; Non-Iterative Modal Logics Are CoalgebraicJonas Forster, Lutz Schröder ; The Modal Logic of Almost Sure Frame Validities in the ...

AiML: Volume Advances in Modal Logic

www.aiml.net

... Sara Negri and Peter Schuster, Modal Logic for Induction, ; Jonas Forster and Lutz Schröder, Non-iterative Modal Logics are Coalgebraic, › volumes › v...