Modelling infinite structures with atoms

DOI10.1007/978-3-642-39992-3_3MaRDI QIDQ2849420zbMATH OpenOpenAlexFDO

Authors Mikołaj Bojańczyk

Publication date 17 September 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-39992-3_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Basic properties of first-order languages and structures (03C07)

Recommendations

• Toward model theory with data values
• On a theorem of Vaught for first order logic with finitely many variables
• scientific article; zbMATH DE number 1028229
• scientific article; zbMATH DE number 2208072
• Modal -calculus with atoms

Cited in

(8)

• Nondeterministic and co-nondeterministic implies deterministic, for data languages
• A class of automata for the verification of infinite, resource-allocating behaviours
• Toward model theory with data values
• Beyond knowing that: a new generation of epistemic logics
• scientific article; zbMATH DE number 1786564 (Why is no real title available?)
• scientific article; zbMATH DE number 2097006 (Why is no real title available?)
• Linear equations with ordered data
• Determinisability of register and timed automata

This page was built for publication: Modelling infinite structures with atoms

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