The unreal future
From MaRDI portal
Publication:3874178
DOI10.1111/j.1755-2567.1978.tb00175.xzbMath0435.03017OpenAlexW2123535212MaRDI QIDQ3874178
Publication date: 1978
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1978.tb00175.x
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (11)
Системы временной логики I: моменты, истории, деревья ⋮ Moment/history duality in Prior's logics of branching-time ⋮ Rich deontic logic: A preliminary study ⋮ Completeness of a branching-time logic with possible choices ⋮ Decidability for branching time ⋮ Branching versus linear logics yet again ⋮ Informational branching universe ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ First-order definability of transition structures ⋮ Obligation, contracts, and negotiation: Outlining an approach ⋮ A finite axiomatization of the set of strongly valid Ockhamist formulas
This page was built for publication: The unreal future