Axiomatization of `Peircean' branching-time logic

DOI10.1007/BF00935598zbMath0724.03014OpenAlexW2015217647MaRDI QIDQ2276944

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

tense logicaxiomatizationirreflexivity rulebranching time logic

Mathematics Subject Classification ID

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

Related Items (7)

Axiomatization of a branching time logic with indistinguishability relations ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Derivation rules as anti-axioms in modal logic ⋮ Completeness of a branching-time logic with possible choices ⋮ Branching-time logic with quantification over branches: The point of view of modal logic ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ First-order definability of transition structures

Cites Work

• Decidability for branching time

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