There are infinitely many Diodorean modal functions

DOI10.2307/2270456zbMath0147.24903OpenAlexW2044003899MaRDI QIDQ5525334

David Makinson

Publication date: 1966

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

Full work available at URL: https://doi.org/10.2307/2270456

zbMATH Keywords

mathematical logic

Related Items (5)

An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic ⋮ Modal companions of intermediate propositional logics ⋮ The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions ⋮ Single variable formulas in S4 ⋮ Nontabularity of the logic S4 with respect to functional completeness

Cites Work

• Unnamed Item

This page was built for publication: There are infinitely many Diodorean modal functions