|
Seminar Koalgebraische Logik (CoLog)
- Dozent/in
- Prof. Dr. Lutz Schröder
- Angaben
- Seminar
2 SWS, ECTS-Studium, ECTS-Credits: 5
nur Fachstudium, Sprache Deutsch oder Englisch
Zeit und Ort: Do 14:15 - 15:45, 00.131-128
- Studienfächer / Studienrichtungen
- WPF INF-BA-V-THI ab 4 (ECTS-Credits: 5)
WPF INF-BA-V-KI ab 4 (ECTS-Credits: 5)
WPF I2F-BA ab 4 (ECTS-Credits: 5)
WPF INF-LAG ab 4 (ECTS-Credits: 5)
WPF INF-LAG-M ab 4 (ECTS-Credits: 5)
WPF INF-LAG-P ab 4 (ECTS-Credits: 5)
WPF INF-MA ab 1 (ECTS-Credits: 5)
WPF INF-MA ab 1 (ECTS-Credits: 5)
WF M-BA ab 4 (ECTS-Credits: 5)
WF M-MA ab 1 (ECTS-Credits: 5)
WF Ph-BA ab 4 (ECTS-Credits: 5)
WF Ph-MA ab 1 (ECTS-Credits: 5)
- ECTS-Informationen:
- Title:
- Coalgebraic Logic Seminar
- Credits: 5
- Prerequisites
- Basic knowledge in logic, ideally some acquaintance with modal logic.
- Contents
- Basic categorical notions
Coalgebraic logic via predicate liftings
Separation and expressivity
Soundness and completeness
Algebraic semantics
Complexity of reasoning
Modular construction of logics
Coalgebraic hybrid logic
Reasoning with global assumptions
Fixpoint logics
Coalgebraic automata theory
Fuzzy coalgebraic logic
Coalgebraic predicate logic
- Literature
- (The following list is, while not exhaustive, meant mainly as a fairly broad guide to the literature, and not to be understood as a mandatory reading list.)
Lawrence S. Moss: Coalgebraic Logic. Ann. Pure Appl. Logic 96(1-3): 277-317 (1999)
Dirk Pattinson: Expressive Logics for Coalgebras via Terminal Sequence Induction. Notre Dame Journal of Formal Logic 45(1): 19-33 (2004)
Dirk Pattinson: Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Theor. Comput. Sci. 309(1-3): 177-193 (2003)
Lutz Schröder: A finite model construction for coalgebraic modal logic. J. Log. Algebr. Program. 73(1-2): 97-110 (2007)
Lutz Schröder, Dirk Pattinson: Shallow Models for Non-iterative Modal Logics. KI 2008: 324-331
Dirk Pattinson, Lutz Schröder: Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. FoSSaCS 2008: 66-80
Lutz Schröder: Expressivity of coalgebraic modal logic: The limits and beyond. Theor. Comput. Sci. 390(2-3): 230-247 (2008)
Lutz Schröder, Dirk Pattinson: Strong Completeness of Coalgebraic Modal Logics. STACS 2009: 673-684
Robert S. R. Myers, Dirk Pattinson, Lutz Schröder: Coalgebraic Hybrid Logic. FOSSACS 2009: 137-151
Lutz Schröder, Dirk Pattinson, Clemens Kupke:
Nominals for Everyone. IJCAI 2009: 917-922
Lutz Schröder, Yde Venema: Flat Coalgebraic Fixed Point Logics. CONCUR 2010: 524-538
Lutz Schröder, Dirk Pattinson: Description Logics and Fuzzy Probability. IJCAI 2011: 1075-1081
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder:
Coalgebraic Predicate Logic. ICALP (2) 2012: 299-311
Daniel Gorín, Lutz Schröder: Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. Advances in Modal Logic 2014: 254-273
Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann: COOL - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). IJCAR 2014: 396-402
ask others
Corina Cîrstea, Clemens Kupke, Dirk Pattinson: EXPTIME Tableaux for the Coalgebraic mu-Calculus. Logical Methods in Computer Science 7(3) (2011)
Yde Venema: Automata and fixed point logic: A coalgebraic perspective. Inf. Comput. 204(4): 637-678 (2006)
Clemens Kupke, Yde Venema: Coalgebraic Automata Theory: Basic Results. Logical Methods in Computer Science 4(4) (2008)
- Zusätzliche Informationen
- Schlagwörter: Coalgebra logic knowledge representation concurrency Koalgebra Logik Wissensrepräsentation Nebenläufigkeit
Erwartete Teilnehmerzahl: 20
www: https://www8.cs.fau.de/SS20:colog
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2020:
- Koalgebraische Logik (CoLog)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|