Extensions of Makinson's Completeness Theorems in Modal Logic
From MaRDI portal
Publication:5594595
DOI10.1002/malq.19700160303zbMath0197.27702MaRDI 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