G. Fischer Servi, Completeness for Non Normal Intuitionistic Modal Logics, Note di Matematica, 1 (1981), pp. 203-212. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (7 citations) (Correct)
....noticing that in [21] a semantics with a Kripke type frame is also adopted. The modal relation is introduced as an extension of the intuitionistic accessibility relation. General criteria to find the intuitionistic counterpart of many classical modal systems are both proposed in [1, 6] and in [8, 9, 10, 11, 12]. In [1] two systems HK2 and HK3 are introduced, as intuitionistic counterparts of the classical system K. The first one deals only with 2 and the latter only with 3. HK3 turns out to be sound and complete with respect to the Kripke type frames satisfying one of the two connecting properties we ....
G. Fischer Servi, Completeness for Non Normal Intuitionistic Modal Logics, Note di Matematica, 1 (1981), pp. 203-212.
Intuitionistic Autoepistemic Logic - Aiello, Amati, Pirri (1997) (1 citation) (Correct)
No context found.
G. Fischer Servi, Completeness for Non Normal Intuitionistic Modal Logics, Note di Matematica, 1 (1981), pp. 203-212.
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993) (7 citations) (Correct)
No context found.
G. Fischer Servi, Completeness for Non Normal Intuitionistic Modal Logics, Note di Matematica, 1 (1981), pp. 203-212.
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