Characters and fixed points in provability logic
type: Item
instance of: scholarly article
title: Characters and fixed points in provability logic
zbMATH Open document ID: 0713.03008
author: Zachary Gleit
author: Warren D. Goldfarb
published in: Notre Dame Journal of Formal Logic
publication date: 1990-01-01T00:00:00Z
review text: This paper is devoted to study provability logic mainly by model- theoretic methods. Authors give a new proof of the fixed point theorem in the Gödel-Löb provability system GL, as well as the theorem on the joint satisfiability of formulas. From the last result, Craig's interpolation theorem is easily extracted. Beth's definability theorem is also among the corollaries of this theorem. The complexity of models for formulas of special kind, which describe the arrangement of worlds in Kripke models, are investigated.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F40
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 4172948
zbMATH Keywords: provability logic
zbMATH Keywords: fixed point theorem
zbMATH Keywords: Gödel-Löb provability system GL
zbMATH Keywords: joint satisfiability of formulas
zbMATH Keywords: Craig's interpolation theorem
zbMATH Keywords: Beth's definability theorem
zbMATH Keywords: complexity of models
zbMATH Keywords: Kripke models
reviewed by: Vladimir Rybakov
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093635330
OpenAlex ID: W2090937569
DOI: 10.1305/NDJFL/1093635330
Recommended article: Characterizing Definability in Decidable Fixpoint Logics
Recommended article: Note on some fixed point constructions in provability logic
Recommended article: Fixed points in propositional nonmonotonic logic
Recommended article: The equational logic of fixed points
Recommended article: Fixed Point Logics
Recommended article: A new proof of the fixed-point theorem of provability logic
Recommended article: Logical definability of fixed points
Recommended article: Axiomatizing fixpoint logics
Recommended article: Q4023246
Recommended article: Q3089163
description: scientific article; zbMATH DE number 4172948