Axiomatization of `Peircean' branching-time logic

DOI10.1007/BF00935598MaRDI QIDQ2276944zbMATH OpenOpenAlexFDO

Authors Alberto Zanardo

Publication date 1990

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00935598

zbMATH Keywords

axiomatizationbranching time logicirreflexivity ruletense logic

Mathematics Subject Classification ID

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

Review text

\textit{J. P. Burgess} [Stud. Logica 39, 203-218 (1980; Zbl 0467.03006)] has given a complete and finite axiomatization of the ``Peircean branching time logic involving, yet, a rather unusual derivation rule which proved to be a version of the irreflexivity rule of \textit{D. Gabbay} [Aspects of philosophical logic, Synth. Libr. 147, 67-89 (1981; Zbl 0519.03008)]. The author gives here a complete, but infinite axiomatization of the same logic using only ``standard derivation rules of tense logic.

Recommendations

• Axiomatization of a branching time logic with indistinguishability relations
• Axioms for Branching Time
• scientific article; zbMATH DE number 5790393
• A complete deductive-system for since-until branching-time logic
• A note about the axioms for branching-time logic

Cites work

• Decidability for branching time

Cited in

(10)

• A note about the axioms for branching-time logic
• First-order definability of transition structures
• Quantification over sets of possible worlds in branching-time semantics
• Axiomatization of a branching time logic with indistinguishability relations
• Derivation rules as anti-axioms in modal logic
• Branching-time logic with quantification over branches: The point of view of modal logic
• Системы временной логики I: моменты, истории, деревья
• Axioms for Branching Time
• Completeness of a branching-time logic with possible choices
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics

This page was built for publication: Axiomatization of `Peircean' branching-time logic

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