On the size of refutation Kripke models for some linear modal and tense logics
type: Item
instance of: scholarly article
title: On the size of refutation Kripke models for some linear modal and tense logics
zbMATH Open document ID: 0466.03008
DOI: 10.1007/BF00713542
author: S. H. Smith
published in: Studia Logica
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03D15
zbMATH DE Number: 3730113
zbMATH Keywords: finite model property
zbMATH Keywords: satisfiability problem
MaRDI profile type: Publication
cites work: The complexity of theorem-proving procedures
cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic
cites work: Q5734410
cites work: Q4068699
full work available at URL: https://doi.org/10.1007/bf00713542
OpenAlex ID: W1981561399
description: scientific article; zbMATH DE number 3730113