Decidability and the finite model property
type: Item
instance of: scholarly article
title: Decidability and the finite model property
zbMATH Open document ID: 0465.03005
DOI: 10.1007/BF00293428
author: Alasdair Urquhart
published in: Journal of Philosophical Logic
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C99
zbMATH DE Number: 3728233
zbMATH Keywords: recursive axiomatizability
zbMATH Keywords: normal modal logic
MaRDI profile type: Publication
cites work: On axiomatizability within a system
cites work: Q3960819
full work available at URL: https://doi.org/10.1007/bf00293428
OpenAlex ID: W1972560931
description: scientific article; zbMATH DE number 3728233