First-order definability of transition structures

DOI10.1007/S10849-018-9276-4MaRDI QIDQ2322984zbMATH OpenOpenAlexFDO

Authors Antje Rumberg, Alberto Zanardo

Publication date 30 August 2019

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

first-order definabilitybranching timeaxiomatizabilityindex structurestransition semantics

Mathematics Subject Classification ID

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

Recommendations

• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• Transition semantics for branching time
• scientific article; zbMATH DE number 1292294
• Modal Logic, Transition Systems and Processes
• Logic of transition systems

Cites work

• scientific article; zbMATH DE number 3821688 (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
• Axiomatization of `Peircean' branching-time logic
• Axioms for Branching Time
• Branching-time logic with quantification over branches: The point of view of modal logic
• Completeness in the theory of types
• Decidability for branching time
• Indeterminist time and truth‐value gaps¹
• Logic and time
• Moment/history duality in Prior's logics of branching-time
• Quantification over sets of possible worlds in branching-time semantics
• Temporal patterns and modal structure
• The decision problem for branching time logic
• The unreal future
• Transition semantics for branching time

Cited in

(5)

• Системы временной логики I: моменты, истории, деревья
• scientific article; zbMATH DE number 6862042 (Why is no real title available?)
• On translations of complete first order theories
• New foundations for branching space-times
• Extensions of V. A. Smirnov's temporal logic systems in the context of determinism

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

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