Liberated versions ofT, S4, andS5
From MaRDI portal
Publication:4075438
DOI10.1007/BF02276795zbMath0316.02028MaRDI QIDQ4075438
Publication date: 1975
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137909
Related Items (1)
Cites Work
This page was built for publication: Liberated versions ofT, S4, andS5