Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Nishimura Hirokazu

  Research Institute For Mathematical Sciences Kyoto University

関連論文

• Heyting Valued Set Theory and Sato Hyperfunctions
• Some Applications of Boolean Valued Set Theory to Abstract Harmonic Analysis on Locally Compact Groups
• Propositional Dynamic Logic for Concurrent Programs
• Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs
• An Approach to the Dimension Theory of Continuous Geometry from the Standpoint of Boolean Valued Analysis
• Semantical Analysis of Constructive PDL
• A Study of Some Tense Logics by Gentzen's Sequential Method
• A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains
• Boolean Valued Decomposition Theory of States

スポンサーリンク