A Henkin completeness theorem for T

DOI10.1305/NDJFL/1093956082MaRDI QIDQ2535381zbMATH OpenOpenAlexFDO

Authors M. J. Cresswell

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

zbMATH Keywords

general logic

Cited in

(6)

• Mathematical modal logic: A view of its evolution
• Canonical extensions and ultraproducts of polarities
• A modal proof theory for final polynomial coalgebras
• Erdős Graphs Resolve Fine's Canonicity Problem
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik

This page was built for publication: A Henkin completeness theorem for T

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2535381)