On the Logic of “To‐morrow”1

DOI10.1111/J.1755-2567.1967.TB00609.XzbMATH Open0189.28301OpenAlexW2046358913MaRDI QIDQ5583835FDOQ5583835

Authors: 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

Cited In (10)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5583835)