Axiomatizing Hybrid Products of Monotonic Neighborhood Frames
-
- 佐野 勝彦
- 京都大学
書誌事項
- タイトル
- Axiomatizing Hybrid Products of Monotonic Neighborhood Frames
- 著者
- Katsuhiko Sano
収録刊行物
-
- Proceedings of International Workshop on Hybrid Logic and Applications (HyLo 2010) Paper number : Hylo-7
-
Proceedings of International Workshop on Hybrid Logic and Applications (HyLo 2010) Paper number : Hylo-7 CD-ROM 2010