A Study of Kripke-Type Models for Some Modal Logics by Gentzen's Sequential Method
スポンサーリンク
概要
著者
-
Sato Masahiko
Department Of Mathematics College Of General Education University Of Tokyo
-
Sato Masahiko
Department Of Information Science Faculty Of Science University Of Tokyo
-
Sato Masahiko
Departlent Of Physiological Anthropology Kyushu University Of Design Sciences
関連論文
- 照明の照度及び色濃度がCNVに及ぼす影響 : 生理人類学会第28回大会
- STUDIES ON HYPERTENSION: EFFECTS OF SALT ADMINISTRATION ON HUMORAL FACTORS AND HISTOLOGICAL CHANGES IN SHR : IInd Auditorium
- Effects of Changes in Arousal Level by Continuous Light Stimulus on Contingent Negative Variation (CNV)
- 人間に関する情報の発信を目指して
- D12 Transient Temperature Variation beneath Rake Face in End Milling(Monitoring of machining process)
- 色彩の違いは体温に影響を及ぼすか? : 一般口演 : 生理人類学会第31回大会
- 照明と環境温度の複合効果が生体に及ぼす影響 : 生理人類学会第28回大会
- 低圧環境が視覚,触覚系に及ぼす影響 : 生理人類学会第28回大会
- Characterization of Gene Expression Profiles of Metallothionein-Null Cadmium-Resistant Cells
- OJ-366 Is "10-Year CHD Risk" useful for Prediction of Coronary Artery Plaques on MSCT?(CT/DSA-2 (I) OJ61,Oral Presentation (Japanese),The 70th Anniversary Annual Scientific Meeting of the Japanese Circulation Society)
- 日本人の生理人類学的特徴について(特別講演) (第41回日本体質学会総会(1991年9月6日,宮崎))
- II-14 Effect of Visual Stimulation by Natural Scenery on Central and Autonomic Nervous Systems(I) : In the Case of Good Correlation Between Sensory Evaluation and Physiological Response(Proceedings of the 45th Meeting of Japan Society of Physiological Ant
- Atomic Hydrogen Annealing of Gate Dielectric in Pentacene Organic Thin-Film Transistors
- PJ-747 Usefulness of MSCT Coronary Angiography for PCI Strategy(CT/DSA-9 (I) PJ128,Poster Session (Japanese),The 70th Anniversary Annual Scientific Meeting of the Japanese Circulation Society)
- EFFECTS OF COLORS ON EEG
- Effects of Color on Autonomic Nervous Functions
- The Influence of Hypobaric Hypoxia on Human
- Changes of Background EEGs in Trials of The P300
- Diagnosis of primary versus metastatic ovarian adenocarcinoma using p53 gene mutation analysis
- The effect of luminance of lighting source on CNV
- The effect of the duration of exposure to the lighting conditions on CNV
- Characterization of Y pt7 in Arabidopsis thaliana
- A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)
- Voltage-induced Variation of Capacity Factors for Neutral Solutes by Using Hexa-6-bromo-hexa-6-deoxy-β-cyclodextrin Modified Column in Electrochromatography
- The Effect of Color Temperature of Lighting Sources on the Autonomic Nervous Functions
- The Lower Critical Temperature and Native Place
- Evaluatien of ligbting effects on living body by EEG topography
- Conjugacy of ELF emission spectra and powers
- 生理人類学あれこれ-広く深く
- CRTディスプレイ上での視作業における色相と輝度の相互効果について : 生理人類学会第32回大会
- Effects of Lighting on Heart Rate Variability and Blood Pressure Variability
- Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics
- Theory of Symbolic Expressions, II.
- Condolence
- The Progress of Physiological Anthropology in Japan
- The Effect of Color Temperature of Lighting Sources on Mental Activity Level
- Grundy Functions and Linear Games
- The Spontaneously Hypertensive Rat (8) : Proceedings of VIII Annual Scientific Meeting of the Council for the Spontaneously Hypertensive Rat October 8, 1972, Nagasaki
- Chaotic analysis for HRV
- A Study of Kripke-Type Models for Some Modal Logics by Gentzen's Sequential Method
- Changos in Catecholaaine Excretion under Different Lighting Conditions
- The Influence of Stressful Environmental Stimuli on Changes of Catecholamines and Blood Pressure
- ACUTE MYOCARDIAL INFARCTION IN FUKUSHIMA AREA OF JAPAN