An algebraic study of Diodorean modal systems

DOI10.2307/2270582zbMath0129.25707OpenAlexW2162890392MaRDI QIDQ5338318

R. A. Bull

Publication date: 1965

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

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

zbMATH Keywords

mathematical logic

Related Items (5)

Cut-free sequent and tableau systems for propositional Diodorean modal logics ⋮ The temporal semantics of concurrent programs ⋮ Mathematical modal logic: A view of its evolution ⋮ Tense systems with discrete moments of time. I ⋮ The complexity of propositional linear temporal logics in simple cases

Cites Work

• Unnamed Item
• The algebra of topology
• Modal Logics Between S 4 and S 5
• A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3
• Some theorems about the sentential calculi of Lewis and Heyting
• Subdirect unions in universal algebra

This page was built for publication: An algebraic study of Diodorean modal systems