N.Y. Suzuki, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Studia Logica 48 (1989), pp.141-155. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Logics and Provability - Sasaki (2001) (Correct)
....modus ponens, substitution and necessitation. An intuitionistic modal logic is a set of formulas including IntK and closed under modus ponens, substitution and necessitation. The relationship between intuitionistic modal logics and other logics has been discussed in the literature. In [OS87] and [Suz89], H. Ono and N. Y. Suzuki investigated the relationship to intermediate predicate logics. Wolter and Zakharyaschev [WZ97] argued that the intuitionistic modal logics are much more closely related to classical bimodal logics than to the usual monomodal ones, and discussed their relation. Another ....
N.-Y. Suzuki, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Studia Logica, 48, 1989, pp. 289-- 306.
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (7 citations) (Correct)
....Prior s propositional modal calculus and shows that it is related to the intuitionistic monadic calculus just as S5 is related to the classic monadic calculus. The relationship between intuitionistic modal logics and intermediate predicate logics has been further investigated for instance in [22, 25, 26]. In [21] a lattice of intuitionistic modal logics is given, with the necessity operator 2 as primitive, both in Hilbert and in Gentzen style formulations. These logics are intermediate between the intuitionistic S4 and S5 in the sense of [3] It is worth noticing that in [21] a semantics with a ....
N.Y. Suzuki, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Studia Logica 48 (1989), pp.141-155.
Intuitionistic Modal Logic - Wolter, Zakharyaschev (1999) (7 citations) Self-citation (Suzuki) (Correct)
....introduced by Prior [1957] Bull [1966] noticed that the translation defined by (p i ) P i (x) fi ) fi , for fi 2 f; g, 2 ) 8x , 3 ) 9x is an embedding of MIPC into the monadic fragment of intuitionistic predicate logic. Ono [1977] Ono and Suzuki [1988] Suzuki [1990], and Bezhanishvili [1997] investigated the relations between logics in ExtMIPC and superintuitionistic predicate logics induced by that translation. In this paper we restrict attention only to the classes of normal intuitionistic modal logics introduced above. An interesting example of a ....
N. Suzuki. An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics. Studia Logica, 48:141--155, 1990.
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (7 citations) (Correct)
No context found.
N.Y. Suzuki, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Studia Logica 48 (1989), pp.141-155.
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