14 - Nonclassical Logics in Computer Science/ClipID:10812 previous clip next clip

The automatic subtitles generated using Whisper Open AI in this video player (and in the Multistream video player) are provided for convenience and accessibility purposes. However, please note that accuracy and interpretation may vary. For more information, please refer to the FAQs (Paragraph 14).
Recording date 2015-11-30

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-01
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-12-07
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-12-14
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-12-15
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-12-21
Free

More clips in this category "Technische Fakultät"

2024-04-17
Studon
protected  
2024-04-17
IdM-login
protected  
2024-04-22
IdM-login
protected  
2024-04-18
Studon
protected  
2024-04-17
Free
public  
2024-04-17
IdM-login
protected