Undefinability of propositional quantifiers in the modal system S4
type: Item
instance of: scholarly article
title: Undefinability of propositional quantifiers in the modal system S4
zbMATH Open document ID: 0831.03008
DOI: 10.1007/BF01061237
author: Silvio Ghilardi
author: Marek Zawadowski
published in: Studia Logica
publication date: 1996-02-07T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 06E25
Mathematics Subject Classification ID: 18C10
zbMATH DE Number: 819335
zbMATH Keywords: modal logic S4
zbMATH Keywords: propositional quantifiers
MaRDI profile type: Publication
cites work: Logics containing K4. Part I
cites work: Logics containing K4. Part II
cites work: An algebraic theory of normal forms
cites work: A sheaf representation and duality for finitely presented Heyting algebras
cites work: Q3026978
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Q4694581
full work available at URL: https://doi.org/10.1007/bf01061237
OpenAlex ID: W2071786581
description: scientific article; zbMATH DE number 819335