A study of Kripke-type models for some modal logics by Gentzen's sequential method
From MaRDI portal
Publication:1257012
DOI10.2977/prims/1195189814zbMath0405.03013OpenAlexW2034576617MaRDI QIDQ1257012
Could not fetch data.
Publication date: 1977
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2977/prims/1195189814
Could not fetch data.
Could not fetch data.