The unreal future

DOI10.1111/J.1755-2567.1978.TB00175.XMaRDI QIDQ3874178zbMATH OpenOpenAlexFDO

Authors John P. Burgess

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

zbMATH Keywords

essencefuture contingentstense logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cited in

(13)

• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Decidability for branching time
• First-order definability of transition structures
• Quantification over sets of possible worlds in branching-time semantics
• Obligation, contracts, and negotiation: Outlining an approach
• Системы временной логики I: моменты, истории, деревья
• Rich deontic logic: A preliminary study
• Completeness of a branching-time logic with possible choices
• Future contingencies and the arrow and flow of time in a non-deterministic world according to the temporal-modal system TM
• Extensions of V. A. Smirnov's temporal logic systems in the context of determinism
• Moment/history duality in Prior's logics of branching-time
• Branching versus linear logics yet again
• Informational branching universe

This page was built for publication: The unreal future

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