On the absence of finite approximation relative to model completeness in propositional provability logic
type: Item
instance of: scholarly article
zbMATH Open document ID: 1351.03059
publication date: 2016-11-18T00:00:00Z
full work available at URL: http://www.math.md/publications/basm/issues/y2015-n3/12125/
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 06E30
zbMATH DE Number: 6654416
zbMATH Keywords: expressibility
zbMATH Keywords: model completeness
zbMATH Keywords: provabilty logic
zbMATH Keywords: diagonalizable algebra
MaRDI profile type: MaRDI publication profile
author: Olga Izbash
author: Andrei Rusu
title: On the absence of finite approximation relative to model completeness in propositional provability logic
published in: Buletinul Academiei de Științe a Republicii Moldova. Matematica
description: scientific article; zbMATH DE number 6654416