Tense systems with discrete moments of time. I
From MaRDI portal
Publication:2555065
DOI10.1007/BF00649989zbMath0245.02031MaRDI QIDQ2555065
Publication date: 1972
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00649989
03B45: Modal logic (including the logic of norms)
Related Items
The d-logic of the rational numbers: a fruitful construction, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, Modal logics of domains on the real plane, Branching versus linear logics yet again, More on \(d\)-logics of subspaces of the rational numbers
Cites Work