Axiomatization of a branching time logic with indistinguishability relations

DOI10.1007/S10992-015-9369-3zbMATH Open1392.03027OpenAlexW1987512432MaRDI QIDQ288245FDOQ288245

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

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

zbMATH Keywords

branching-timebundled treefinite axiomatizationindistinguishabilityirreflexivity rulestrong completeness

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

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

Cited In (7)

• Sublogics of a branching time logic of robustness
• Indistinguishability, choices, and logics of agency
• Title not available (Why is that?)
• Axioms for Branching Time
• Undivided and indistinguishable histories in branching-time logics
• Branching Time Axiomatized With the Use of Change Operators
• Title not available (Why is that?)

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)