Single variable formulas in S4

DOI10.1007/BF02109437zbMath0343.02014MaRDI QIDQ1232278

Michael Byrd

Publication date: 1976

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

The one-variable fragment of \(\mathrm T_\to\) ⋮ Notational variance and its variants ⋮ The 2007 Annual Conference of the Australasian Association for Logic

Cites Work

• There are infinitely many Diodorean modal functions
• Unnamed Item
• Unnamed Item

This page was built for publication: Single variable formulas in S4