A liberated version of S5

DOI10.1007/BF01969700MaRDI QIDQ5588593zbMATH OpenFDO

Authors 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

Cites work

• A completeness theorem in modal logic
• scientific article; zbMATH DE number 3208243 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• Open formulas and the empty domain
• The theory of truth tabular connectives, both truth functional and modal
• Universally free logic and standard quantification theory

Cited in

(3)

• Weak liberated versions of T and S4
• Liberated versions ofT, S4, andS5
• Modal logic for other-world agnostics: Neutrality and Halldén incompleteness

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5588593)