An abstract look at the fixed-point theorem for provability logic
type: Item
instance of: scholarly article
title: An abstract look at the fixed-point theorem for provability logic
DOI: 10.1007/978-3-031-47921-2_3
author: Johan van Benthem
publication date: 2024-10-01T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 7920706
zbMATH Keywords: modal provability logic
zbMATH Keywords: well-founded orderings
zbMATH Keywords: definability
MaRDI profile type: MaRDI publication profile
cites work: Hybrid logics: Characterization, interpolation and complexity
cites work: Modal logic
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q4850061
cites work: Persistent and invariant formulas relative to theories of higher order
cites work: Guarded fixed point logics and the monadic theory of countable trees.
cites work: Automata, logics, and infinite games. A guide to current research
cites work: The undecidability of iterated modal relativization
cites work: Neighborhood semantics for modal logic
cites work: A new proof of the fixed-point theorem of provability logic
cites work: Q4343989
cites work: Self-reference and modal logic
cites work: Essays in logical semantics
cites work: Q3356297
cites work: Modal frame correspondences and fixed-points
cites work: Game Solution, Epistemic Dynamics and Fixed-Point Logics
cites work: Processes, Terms and Cycles: Steps on the Road to Infinity
description: scientific article; zbMATH DE number 7920706