An algebraic study of Diodorean modal systems
From MaRDI portal
Publication:5338318
DOI10.2307/2270582zbMath0129.25707MaRDI QIDQ5338318
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
Related Items
The temporal semantics of concurrent programs, Cut-free sequent and tableau systems for propositional Diodorean modal logics, Mathematical modal logic: A view of its evolution, The complexity of propositional linear temporal logics in simple cases, Tense systems with discrete moments of time. I
Cites Work