Geodesic
Some modal operators over intuitionistic logic
Algebra i logika, Tome 53 (2014) no. 6, pp. 770-775.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{AL_2014_53_6_a7,
     author = {S. A. Drobyshevich},
     title = {Some modal operators over intuitionistic logic},
     journal = {Algebra i logika},
     pages = {770--775},
     publisher = {mathdoc},
     volume = {53},
     number = {6},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2014_53_6_a7/}
}
TY  - JOUR
AU  - S. A. Drobyshevich
TI  - Some modal operators over intuitionistic logic
JO  - Algebra i logika
PY  - 2014
SP  - 770
EP  - 775
VL  - 53
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2014_53_6_a7/
LA  - ru
ID  - AL_2014_53_6_a7
ER  - 
%0 Journal Article
%A S. A. Drobyshevich
%T Some modal operators over intuitionistic logic
%J Algebra i logika
%D 2014
%P 770-775
%V 53
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2014_53_6_a7/
%G ru
%F AL_2014_53_6_a7
S. A. Drobyshevich. Some modal operators over intuitionistic logic. Algebra i logika, Tome 53 (2014) no. 6, pp. 770-775. http://geodesic.mathdoc.fr/item/AL_2014_53_6_a7/

[1] M. Božić, K. Došen, “Models for normal intuitionistic logics”, Stud. log., 43 (1984), 217–245 | DOI | MR

[2] K. Došen, “Negative modal operators in intuitionistic logic”, Publ. Inst. Math. Nouv. Ser., 35(49) (1984), 3–14 | MR

[3] S. Drobyshevich, “On classical behavior of intuitionistic modalities”, Logic Log. Philos. (to appear) | DOI

[4] P. Cabalar, S. P. Odintsov, D. Pearce, “Logical foundations of well-founded semantics”, Principles of knowledge representation and reasoning, Proc. 10th Int. Conf. (KR2006), eds. P. Doherty et al., AAAI Press, Menlo Park, California, 2006, 25–36

[5] S. P. Odintsov, “Combining intuitionistic connectives and Routley negation”, Sib. Electr. Math. Rep., 7 (2010), 21–41 | MR

[6] S. A. Drobyshevich, S. P. Odintsov, “Svoistvo konechnykh modelei dlya negativnykh modalnostei”, Sib. elektron. matem. izv., 10 (2013), 1–21 | MR

[7] S. A. Drobyshevich, “Kompozitsiya intuitsionistskogo otritsaniya i negativnykh modalnostei kak operator neobkhodimosti”, Algebra i logika, 52:3 (2013), 305–331 | MR | Zbl

[8] S. A. Drobyshevich, “Operator dvoinogo otritsaniya v logike $N^*$”, Vestn. NGU. Ser. matem., mekh., inform., 13:4 (2013), 68–83