Axiomatization of a branching time logic with indistinguishability relations

DOI10.1007/S10992-015-9369-3MaRDI QIDQ288245zbMATH OpenOpenAlexFDO

Authors Alberto Gatto

Publication date 25 May 2016

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-015-9369-3

zbMATH Keywords

branching-timebundled treefinite axiomatizationindistinguishabilityirreflexivity rulestrong completeness

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Axiomatization of `Peircean' branching-time logic
• scientific article; zbMATH DE number 5790393
• The temporal logic of branching time
• An extended branching-time Ockhamist temporal logic
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

Cites work

• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 2196599 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• A hierarchy of temporal logics with past
• An axiomatization of PCTL*
• An axiomatization of full computation tree logic
• Axiomatization of `Peircean' branching-time logic
• Axioms for Branching Time
• Decidability for branching time
• Is the semantics of branching structures adequate for chronological modal logics?
• Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• Temporal logic. From ancient ideas to artificial intelligence
• The temporal logic of branching time
• Undivided and indistinguishable histories in branching-time logics
• Using branching time temporal logic to synthesize synchronization skeletons
• “Sometimes” and “not never” revisited

Cited in

(7)

• Undivided and indistinguishable histories in branching-time logics
• Branching Time Axiomatized With the Use of Change Operators
• scientific article; zbMATH DE number 5790393 (Why is no real title available?)
• Axioms for Branching Time
• scientific article; zbMATH DE number 4101144 (Why is no real title available?)
• Indistinguishability, choices, and logics of agency
• Sublogics of a branching time logic of robustness

This page was built for publication: Axiomatization of a branching time logic with indistinguishability relations

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