On the Logic of “To‐morrow”1

DOI10.1111/j.1755-2567.1967.tb00609.xzbMath0189.28301OpenAlexW2046358913MaRDI QIDQ5583835

Krister Segerberg

Publication date: 1967

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1967.tb00609.x

zbMATH Keywords

general logic

Related Items (10)

Does “N+1 times” prove more programs correct than “N times”? ⋮ Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity ⋮ Modal logics of succession for 2-dimensional integral spacetime ⋮ Two-dimensional modal logic ⋮ Expressive power and semantic completeness: Boolean connectives in modal logic ⋮ The logic of temporal discourse ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras

This page was built for publication: On the Logic of “To‐morrow”¹