A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems

DOI10.1007/978-3-030-62077-6_3MaRDI QIDQ2037979zbMATH OpenOpenAlexFDO

Authors Mitsuhiro Okada

Publication date 8 July 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-62077-6_3

zbMATH Keywords

Andre scedrovfinitismformal verificationHilbertmulti-agent systemreal-time systemZeno paradox

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• The time separation principle and the analysis of a class of quasifinite plausible reasonings (in terms of the Cantor uncountability theorem)
• A finite basis for `almost future' temporal logic over the reals
• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• scientific article; zbMATH DE number 4210108
• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• A note on finiteness in the predicative foundations of arithmetic
• On the logical analysis of proofs based on nonseparable Hilbert space theory
• Remark on a finite axiomatization of finite intermediate propositional logics
• scientific article; zbMATH DE number 3920436

This page was built for publication: A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems

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