A liberated version of S5
From MaRDI portal
Publication:5588593
DOI10.1007/BF01969700zbMath0193.29202MaRDI QIDQ5588593
Karel Lambert, Hugues Leblanc, Robert K. Meyer
Publication date: 1969
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137826
Related Items
Modal logic for other-world agnostics: Neutrality and Halldén incompleteness, Weak liberated versions of T and S4, Liberated versions ofT, S4, andS5
Cites Work