Search
 
loader loading subjects...
cover
Modal Fixed Point Logics
Gerhard Jäger
129 - 154
10.3233/978-1-60750-100-8-129
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 25: Logics and Languages for Reliability and Security
Abstract

The following notes are centered around multi-modal logics extended by the possibility to introduce least and greatest fixed points. We begin with discussing a range of traditional results and turn to more recent approaches dealing with finite and infinite derivations and explicit representations of proofs afterwards. Our focus is on foundational questions and a proof-theoretic perspective rather than practical applications.

$35.00 / €27.50 / £22.00
Add PDF to cart