First-order definability of transition structures

DOI10.1007/s10849-018-9276-4OpenAlexW2904006851MaRDI QIDQ2322984

Alberto Zanardo, Antje Rumberg

Publication date: 30 August 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-018-9276-4

zbMATH Keywords

first-order definabilityaxiomatizabilitybranching timeindex structurestransition semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (2)

Системы временной логики I: моменты, истории, деревья ⋮ New foundations for branching space-times

Cites Work

• Unnamed Item
• Unnamed Item
• Transition semantics for branching time
• Moment/history duality in Prior's logics of branching-time
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Decidability for branching time
• Axiomatization of `Peircean' branching-time logic
• Quantification over sets of possible worlds in branching-time semantics
• The decision problem for branching time logic
• Logic and time
• The unreal future
• Temporal patterns and modal structure
• Branching-time logic with quantification over branches: The point of view of modal logic
• Indeterminist time and truth‐value gaps¹
• Completeness in the theory of types
• Axioms for Branching Time

This page was built for publication: First-order definability of transition structures