On the Finite Model Property for Kripke Models

スポンサーリンク

概要

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

著者

• ONO Hiroakira

  [Research Institute for Mathematical Sciences, Kyoto University]

関連論文

• On the Finite Model Property for Kripke Models
• Axiomatization of Models for Intermediate Logics Constructed with Boolean Models by Piling Up
• Some Results on the Intermediate Logics
• Kripke Models and Intermediate Logics
• A Study of Intermediate Predicate Logics

スポンサーリンク