On the Logic of “To‐morrow”1

DOI10.1111/J.1755-2567.1967.TB00609.XMaRDI QIDQ5583835zbMATH OpenOpenAlexFDO

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)

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