A Gabbay-rule free axiomatization of \(T\times W\) validity

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)

zbMATH Keywords

temporal logicaxiomatizationbranching-time\(T\times W\) framescross-history simultaneity operatorsynchronism among possibly incompatible histories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (9)

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

• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Time and modality in the logic of agency
• Causation
• T \(\times\) W completeness
• Logic and time
• Branching-time logic with quantification over branches: The point of view of modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Gabbay-rule free axiomatization of \(T\times W\) validity