H. Ono. On Some Intuitionistic Modal Logics, volume 13, pages 687--722. Publications of RIMS, Kyoto University, 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Logics With Coimplication - Wolter (Correct)
....intuitionistic logic with two new modal operators 2 and 3 a normal intermediate modal logic if it contains Int, F 2 , F 3 , and is closed under (RC2 ) and (RC3 ) We denote the smallest normal intermediate logic by IntK23 . Normal intermediate modal logics have been investigated in e.g. 7] [28], 15] 41] 42] 39] Omitting the closure conditions concerning for A, ML frames hg; Delta; R2 ; R3 ; Ai form a complete semantics for those logics (cf. 42] Now we denote by B the smallest modal HB logic containing a normal intermediate modal logic . Again for complete it is easily ....
H. Ono. On some intuitionistic modal logics. Publ. Kyoto University 13, 687 - 722, 1977.
A Hybrid Intuitionistic Logic: Semantics and Decidability - Chadha, Macedonio, Sassone (2005) (Correct)
No context found.
H. Ono. On Some Intuitionistic Modal Logics, volume 13, pages 687--722. Publications of RIMS, Kyoto University, 1977.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC