Yoriyuki Yamagata

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the metric temporal logic for continuous stochastic processes Logical Methods in Computer Science	2024-06-27	Paper
Notion of validity for the bilateral classical logic	2023-10-20	Paper
Separation of bounded arithmetic using a consistency statement	2019-04-14	Paper
Consistency proof of a fragment of PV with substitution in bounded arithmetic Journal of Symbolic Logic	2018-10-26	Paper
A formal semantics of extended hierarchical state transition matrices using CSP\# Formal Aspects of Computing	2016-08-05	Paper
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking	2014-05-05	Paper
Bounded arithmetic in free logic Logical Methods in Computer Science	2012-08-15	Paper
On Use of an Explicit Congruence Predicate in Bounded Arithmetic	2009-04-02	Paper
A sequent calculus for limit computable mathematics Annals of Pure and Applied Logic	2008-04-24	Paper
scientific article; zbMATH DE number 2242601 (Why is no real title available?)	2006-01-02	Paper
Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus Information and Computation	2004-10-04	Paper
Strong normalization of a symmetric lambda calculus for second-order classical logic Archive for Mathematical Logic	2003-09-16	Paper
scientific article; zbMATH DE number 1788923 (Why is no real title available?)	2002-08-26	Paper
On the Metric Temporal Logic for Continuous Stochastic Processes (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Yoriyuki Yamagata