Löb's logic meets the μ-calculus

Albert Visser

doi:10.1007/11601548_3

Löb's logic meets the μ-calculus

Albert Visser^*

^*Corresponding author for this work

OFR - Theoretical Philosophy

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

In this paper, we prove that Löb's Logic is a retract of the modal μ-calculus in a suitable category of interpretations. We show that various salient properties like decidability and uniform interpolation are preserved over retractions. We prove a generalization of the de JonghSambin theorem.

Original language	English
Title of host publication	Processes, Terms and Cycles
Subtitle of host publication	Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Publisher	Springer
Pages	14-25
Number of pages	12
ISBN (Print)	354030911X, 9783540309116
DOIs	https://doi.org/10.1007/11601548_3
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3838 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/11601548_3

Cite this

Visser, A. (2005). Löb's logic meets the μ-calculus. In Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (pp. 14-25). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3838 LNCS). Springer. https://doi.org/10.1007/11601548_3

@inbook{8b54be877d194dd9bda2bd9eb6135440,

title = "L{\"o}b's logic meets the μ-calculus",

abstract = "In this paper, we prove that L{\"o}b's Logic is a retract of the modal μ-calculus in a suitable category of interpretations. We show that various salient properties like decidability and uniform interpolation are preserved over retractions. We prove a generalization of the de JonghSambin theorem.",

author = "Albert Visser",

year = "2005",

doi = "10.1007/11601548_3",

language = "English",

isbn = "354030911X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "14--25",

booktitle = "Processes, Terms and Cycles",

}

Visser, A 2005, Löb's logic meets the μ-calculus. in Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3838 LNCS, Springer, pp. 14-25. https://doi.org/10.1007/11601548_3

Löb's logic meets the μ-calculus. / Visser, Albert.
Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Springer, 2005. p. 14-25 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3838 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Löb's logic meets the μ-calculus

AU - Visser, Albert

PY - 2005

Y1 - 2005

N2 - In this paper, we prove that Löb's Logic is a retract of the modal μ-calculus in a suitable category of interpretations. We show that various salient properties like decidability and uniform interpolation are preserved over retractions. We prove a generalization of the de JonghSambin theorem.

AB - In this paper, we prove that Löb's Logic is a retract of the modal μ-calculus in a suitable category of interpretations. We show that various salient properties like decidability and uniform interpolation are preserved over retractions. We prove a generalization of the de JonghSambin theorem.

UR - http://www.scopus.com/inward/record.url?scp=37148998982&partnerID=8YFLogxK

U2 - 10.1007/11601548_3

DO - 10.1007/11601548_3

M3 - Chapter

AN - SCOPUS:37148998982

SN - 354030911X

SN - 9783540309116

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 14

EP - 25

BT - Processes, Terms and Cycles

PB - Springer

ER -

Löb's logic meets the μ-calculus

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this