Yoriyuki Yamagata

Available identifiers

Publication	Date of Publication	Type
On the metric temporal logic for continuous stochastic processes	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	2018-10-26	Paper
A formal semantics of extended hierarchical state transition matrices using CSP\#	2016-08-05	Paper
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking	2014-05-05	Paper
Bounded arithmetic in free logic	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	2008-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q5714454	2006-01-02	Paper
Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus	2004-10-04	Paper
Strong normalization of a symmetric lambda calculus for second-order classical logic	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4548527	2002-08-26	Paper
On the Metric Temporal Logic for Continuous Stochastic Processes	N/A	Paper

This page was built for person: Yoriyuki Yamagata