On the size of refutation Kripke models for some linear modal and tense logics

From MaRDI portal
Revision as of 04:28, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1155046

DOI10.1007/BF00713542zbMath0466.03008OpenAlexW1981561399MaRDI QIDQ1155046

S. H. Smith

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00713542




Related Items (12)




Cites Work




This page was built for publication: On the size of refutation Kripke models for some linear modal and tense logics