Extensions of Makinson's Completeness Theorems in Modal Logic
From MaRDI portal
Publication:5594595
DOI10.1002/malq.19700160303zbMath0197.27702OpenAlexW2040302155MaRDI QIDQ5594595
Publication date: 1970
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19700160303
Related Items
Solutions for Porte's conjectures ⋮ First-order indefinite and uniform neighbourhood semantics ⋮ Meeting of the Association for Symbolic Logic, New York, 1974