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 logic; axiomatization; branching-time; \(T\times W\) frames; cross-history simultaneity operator; synchronism among possibly incompatible histories
03B45: Modal logic (including the logic of norms)
Related Items
Temporal logic and its application to normative reasoning, Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox, Fooling around with tenses, Decidability of logics based on an indeterministic metric tense logic, A decidable temporal logic of parallelism, Propositional \(\text Q\)-logic, Temporal alethic-deontic logic and semantic tableaux, Indistinguishability, choices, and logics of agency
Cites Work