First-order definability of transition structures

DOI10.1007/S10849-018-9276-4OpenAlexW2904006851MaRDI QIDQ2322984FDOQ2322984

Authors: Antje Rumberg, Alberto Zanardo 

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

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

zbMATH Keywords

first-order definabilitybranching timeaxiomatizabilityindex structurestransition semantics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Системы временной логики I: моменты, истории, деревья
• Title not available (Why is that?)
• On translations of complete first order theories
• New foundations for branching space-times

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)