Pages that link to "Item:Q5583835"
From MaRDI portal
The following pages link to On the Logic of “To‐morrow”<sup>1</sup> (Q5583835):
Displaying 6 items.
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] (Q383047) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
- Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946) (← links)
- The logic of temporal discourse (Q3870867) (← links)
- Does “N+1 times” prove more programs correct than “N times”? (Q5887528) (← links)
