A propositional logic with explicit fixed points
type: Item
instance of: scholarly article
title: A propositional logic with explicit fixed points
zbMATH Open document ID: 0469.03012
DOI: 10.1007/BF01874706
author: Albert Visser
published in: Studia Logica
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03C35
zbMATH DE Number: 3735776
zbMATH Keywords: interpreting implication as formal provability
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: formal propositional logic
zbMATH Keywords: Solovay's provability logic
zbMATH Keywords: Kripke models
MaRDI profile type: Publication
cites work: Q4196401
cites work: Provability, truth, and modal logic
cites work: A propositional calculus with denumerable matrix
cites work: Q4133603
cites work: Arithmetical necessity, provability and intuitionistic logic
cites work: Calculating self-referential statements. I: Explicit calculations
cites work: Provability interpretations of modal logic
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
description: scientific article; zbMATH DE number 3735776