A liberated version of S5

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

zbMATH Keywords

general logic

Related Items (3)

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

• Unnamed Item
• Unnamed Item
• A completeness theorem in modal logic
• The theory of truth tabular connectives, both truth functional and modal
• Universally free logic and standard quantification theory
• Open formulas and the empty domain

This page was built for publication: A liberated version of S5