18 - Nonclassical Logics in Computer Science/ClipID:10816 previous clip next clip

Recording date 2015-12-15

Via

Free

Language

English

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Format

lecture

The course overviews non-classical logics relevant for computer scientists, in particular

  • Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus. Modal systems also form the core of logics of agency and logics for reasoning about knowledge. Moreover they can be seen as a computationally well-behaved fragment of first-order logic over relational structures.

  • Intuitionistic logic, which can be seen as a fragment of certain modal logics (S4) or as the logic of type theory and program extraction.

  • Linear logic, which is established as the core system for resource-aware reasoning 

  • The logic of bunched implications and separation logic: more recent formalisms to reason about heap verification and programs involving shared mutable data structures.

  • Fuzzy and multi-valued logics for reasoning with vague information.

Up next

Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-12-21
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-12-22
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-01-11
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-01-18
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-01-19
Free

More clips in this category "Technische Fakultät"

2022-07-29
Studon
protected  
2022-07-31
IdM-login / Passwort
protected  
2022-07-30
IdM-login / Passwort
protected  
2022-07-31
IdM-login / Passwort
protected  
2022-07-27
Studon
protected