A Gabbay-rule free axiomatization of \(T\times W\) validity
From MaRDI portal
Publication:1272831
DOI10.1023/A:1004284420809zbMath0920.03032MaRDI QIDQ1272831
Maria Concetta Di Maio, Alberto Zanardo
Publication date: 2 December 1998
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
temporal logicaxiomatizationbranching-time\(T\times W\) framescross-history simultaneity operatorsynchronism among possibly incompatible histories
Related Items
Quantified temporal alethic boulesic doxastic logic ⋮ A decidable temporal logic of parallelism ⋮ Temporal logic and its application to normative reasoning ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Fooling around with tenses ⋮ Indistinguishability, choices, and logics of agency ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ Propositional \(\text Q\)-logic
Cites Work
This page was built for publication: A Gabbay-rule free axiomatization of \(T\times W\) validity