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_3OpenAlexW3096430586MaRDI QIDQ2037979

Mitsuhiro Okada

Publication date: 8 July 2021

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

zbMATH Keywords

formal verificationHilbertmulti-agent systemreal-time systemfinitismAndre scedrovZeno paradox

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• 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 👍 👎
• Remark on a finite axiomatization of finite intermediate propositional logics 👍 👎
• 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 👍 👎

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)