A Henkin completeness theorem for T
From MaRDI portal
Publication:2535381
DOI10.1305/ndjfl/1093956082zbMath0183.00802OpenAlexW2022922309MaRDI QIDQ2535381
Publication date: 1967
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093956082
Related Items (6)
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik ⋮ Mathematical modal logic: A view of its evolution ⋮ EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ A modal proof theory for final polynomial coalgebras ⋮ Canonical extensions and ultraproducts of polarities
This page was built for publication: A Henkin completeness theorem for T
