Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Chagrov, Aleksandr Vasilevich
(1957–2016)

Total publications: 137 (137)
in MathSciNet: 27 (27)
in zbMATH: 38 (38)
in Web of Science: 3 (3)
in Scopus: 11 (11)
Cited articles: 16
Citations in Math-Net.Ru: 14
Citations in Web of Science: 22
Citations in Scopus: 131

Number of views:
This page:689
Abstract pages:241
Full texts:91
Chagrov, Aleksandr Vasilevich
Professor
Doctor of physico-mathematical sciences (1998)
Speciality: 05.13.18; 05.13.17 (Mathematical modeling, numerical methods, and the program systems; Theoretical foundation for informatics)

http://www.mathnet.ru/eng/person34268
List of publications on Google Scholar
https://zbmath.org/authors/?q=ai:chagrov.alexander-v
https://mathscinet.ams.org/mathscinet/MRAuthorID/198368
https://elibrary.ru/author_items.asp?authorid=15834
ISTINA http://istina.msu.ru/workers/8102612
https://www.scopus.com/authid/detail.url?authorId=16404927700

Full list of publications:
| scientific publications | by years | by types | by times cited in WoS | by times cited in Scopus | common list |



   2016
1. A. S. Karpenko, A. V. Chagrov, “Modalnaya propozitsionalnaya logika istiny Tr i ee polnota”, Logicheskie issledovaniya, 22:1 (2016), 13–31  mathscinet  zmath  elib

   2015
2. A. V. Chagrov, “Finitnaya approksimiruemost normalnykh modalnykh logik i konstantnye formuly: primer”, Logicheskie issledovaniya, 21:1, IF RAN, Moskva (2015), 79–85  mathscinet  zmath  elib

   2013
3. A. V. Chagrov, “Beskonechnost, vsevedenie, teoremy Gedelya o nepolnote”, Filosofiya matematiki: aktualnye problemy. Matematika i realnost, Tezisy Tretei vserossiiskoi nauchnoi konferentsii (Moskva, 27–28 sentyabrya 2013 goda), eds. V. A. Bazhanov, E. V. Kosilova, A. N. Krichevets, V. Ya. Perminov, V. A. Shaposhnikov, Tsentr strategicheskoi kon'yunktury, Moskva, 2013, 206–209
4. S. I. Kucheryavyi, A. V. Chagrov, “O «modalnykh» variantakh rezultatov A. V. Kuznetsova 50-letnei davnosti”, Algebra i logika: teoriya i prilozheniya. Mezhdunarodnaya konferentsiya, posvyaschennaya pamyati V. P. Shunkova (Krasnoyarsk, 21–27 iyulya 2013 goda), SFU, Krasnoyarsk, 2013, 83–84

   2012
5. A.V.Chagrov, L.A.Chagrova, “Sravnitelnyi analiz programm kursov logicheskogo tsikla na matematicheskikh i gumanitarnykh fakultetakh”, Problemi vikladannya logiki ta perspektivi ¿¿ rozvitku., V² Mizhnarodna naukovo-praktichna konferentsiya (Ki¿vskii natsionalnii universitet imeni Tarasa Shevchenka, 3–4 travnya 2012 roku), VPTs «Ki¿vskii universitet», Ki¿v, 2012, 192–193

   2010
6. A. V. Chagrov, L. A. Chagrova, “Algoritmicheskaya problema topologicheskoi polnoty propozitsionalnykh logik”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke, Materialy XI Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg, 23–26 iyunya 2010 goda), SPbGU, Sankt-Peterburg, 2010, 461–463
7. A. V. Chagrov, “O superintuitsionistskikh logikakh, konservativnykh otnositelno bezymplikativnykh fragmentov Int s ogranicheniyami na chislo peremennykh”, Algebra, logika i prilozheniya (Krasnoyarsk, 19–25 iyulya 2010 goda), Sibirskii federalnyi universitet, Krasnoyarsk, 2010, 107–108
8. A. V. Chagrov, “Konstantnye formuly i finitnaya approksimiruemost normalnykh modalnykh logik”, Sintaksis i semantika logicheskikh sistem (Irkutsk, 10–14 avgusta 2010 goda), GOU VPO “Vostochno-Sibirskaya gosudarstvennaya akademiya obrazovaniya”, Irkutsk, 2010, 109–112
9. A. V. Chagrov, L. A. Chagrova, “Undecidability of the Problem of Topological Completeness of Normal Extensions of S4”, Advances in Modal Logic, Extended Abstracts (Moscow, Steklov Mathematical Institute of RAS, 2010), 2010, 22-24
10. A. V. Chagrov, “Tablichnost, finitnaya approksimiruemost, ... Matematicheskie aspekty”, "Voobrazhaemaya logika N. A. Vasileva i sovremennye neklassicheskie logiki, Materialy mezhdunarodnoi konferentsii (Kazan, 10–15 oktyabrya 2010 goda), Trudy Matematicheskogo tsentra imeni N. I. Lobachevskogo, 41, Kazanskoe matematicheskoe obschestvo, Kazan, 2010, 45–46
11. A. V. Chagrov, “Konstruktivnaya logika”, Novaya filosofskaya entsiklopediya. V 4 tomakh., 2, eds. V. S. Stepin, A. A. Guseinov, G. Yu. Semigin, A. P. Ogurtsov, Mysl, Moskva, 2010, 292–293

   2009
12. A. V. Chagrov, “O logicheskikh problemakh i osobennostyakh matematicheskogo yazyka”, Tezisy vtoroi mezhdunarodnoi konferentsii. Filosofiya matematiki. Aktualnye problemy (Moskva), Maks Press, Moskva, 2009, 349–351
13. A. V. Chagrov, “Algoritmicheskie problemy okrestnostnoi polnoty normalnykh modalnykh logik”, Shestye Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (Moskva, 17–19 iyunya 2009 goda), eds. O. M. Grigorev, D. V. Zaitsev, Yu. V. Ivlev, V. I. Markin, Sovremennye tetradi, 2009, 39–41
14. A. V. Chagrov, L. A. Chagrova, “Algoritmicheskaya problema okrestnostnoi polnoty normalnykh modalnykh logik”, Shestye Smirnovskie chteniya po logike, Sovremennye tetradi, Moskva, 2009, 39–41

   2008
15. A. V. Chagrov, L. A. Chagrova, “O polinomialnoi razreshimosti variantov logiki A. Vissera, svyazannykh s utverzhdeniyami o neprotivorechivosti, s ogranicheniyami na chislo peremennykh”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke, Materialy X Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg, 26–28 iyunya 2008 goda), SPbGU, Sankt-Peterburg, 2008, 321–322

   2007
16. A. V. Chagrov, “O roli neyavnykh postulatov (tezisov) v razvitii matematicheskogo znaniya i znanii o matematicheskom znanii”, Filosofiya matematiki: aktualnye problemy, Materialy Mezhdunarodnoi nauchnoi konferentsii (Moskva, 15–16 iyunya 2007 goda), MGU, Moskva, 2007, 81–83
17. K. S. Blazhkovskaya, A. V. Chagrov, “The independence of the connectives in Visser`s formal propositional logic”, Smirnovskie chteniya. Materialy 5-i konferentsii (Moskva, 20–22 iyunya 2007 goda), IF RAN, Moskva, 2007, 43–44
18. A. V. Chagrov, L. A. Chagrova, “Algorithmic problems for the primordial swmantics of Vissers formal propositional logic in finitely many variables”, Smirnovskie chteniya po logike, Materialy 5-i konferentsii (Moskva, 20–22 iyunya 2007 goda), IF RAN, Moskva, 2007, 47–48

   2006
19. A. V. Chagrov, L. A. Chagrova, “The truth about algorithmic problems in correspondence theory”, Advances in Modal Logic, 6, College Publications, London, 2006, 121–138  mathscinet  zmath  scopus (cited: 19)
20. A. V. Chagrov, L. A. Chagrova, “Krakh algoritmicheskoi problematiki teorii sootvetstviya?”, Logicheskie issledovaniya, 13, IF RAN, Moskva (2006), 248–272  zmath
21. A. V. Chagrov, “Algoritmicheskaya problema finitarnogo semanticheskogo sledovaniya propozitsionalnykh formul I: kontekst i postanovka zadachi”, Logicheskie issledovaniya, 13, IF RAN, Moskva (2006), 191–223  elib

   2005
22. A. V. Chagrov, “K voprosu o estestvennykh minimalnykh logikakh: Bazisnaya i formalnaya logiki A. Vissera i ikh modalnye naparniki”, Filosofiya i buduschee tsivilizatsii, Tezisy dokladov i vystuplenii IV Rossiiskogo filosofskogo kongressa (Moskva, 24–28 maya 2005 goda), 5, eds. A. A. Kostikova, Sovremennye tetradi, Moskva, 2005, 550–551
23. A. V. Chagrov, “Neskolko zamechanii o estestvennykh minimalnykh logikakh: bazisnaya i formalnaya logiki A. Vissera i ikh modalnye naparniki”, Logicheskie issledovaniya, 12, IF RAN, Moskva (2005), 293–299  zmath  elib
24. A. Chagrov, “An algorithmic versuion of Bloks theorem”, International conference “Computer Science applications of modal logic”, Abstracts (Moscow, September 5–9, 2005), Independent University of Moscow, Moscow, 2005, 11-12
25. A. Chagrov, L. Chagrova, “Algorithmic problems in semantics of Vissers formal propositional logic”, International conference "Computer science applications of modal logic, Abstracts (Moscow, September 5–9, 2005), Independent University of Moscow, Moscow, 2005, 11–12

   2004
26. A. V. Chagrov, “Finitarnoe semanticheskoe sledovanie dlya bazisnoi i formalnoi logik A. Vissera: algoritmicheskii aspekt”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke, Materialy VIII Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg, 24–26 iyunya 2004 goda), SPbGU, Sankt-Peterburg, 2004, 542–543
27. A.V.Chagrov, L.A.Chagrova, “Algoritmicheskaya problema modalnoi opredelimosti formul pervogo poryadka s ogranicheniyami na chislo peremennykh v modalnykh propozitsionalnykh formulakh”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke, Materialy VIII Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg, 24–26 iyunya 2004 goda), SPbGU, Sankt-Peterburg, 2004, 544-546
28. A. V. Chagrov, L. A. Chagrova, “Ob algoritmicheskoi probleme propozitsionalnoi opredelimosti formul pervogo poryadka v semantike formalnoi logiki A. Vissera”, Trudy nauchno-issledovatelskogo seminara Logicheskogo tsentra Instituta filosofii RAN, 17, IF RAN, Moskva, 2004, 94–102  zmath
29. A. V. Chagrov, “Algoritmicheskaya problema finitarnogo semanticheskogo sledovaniya dlya bazisnoi i formalnoi logik A. Vissera”, Logicheskie issledovaniya, 11, IF RAN, Moskva (2004), 282–289  zmath

   2003
30. A. V. Chagrov, “Application of iteration for deduction theorems in normal modal logics”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2003, no. 1, 28–33  mathnet  elib
31. M. N. Rybakov, A. V. Chagrov, “O slozhnosti modalnykh logik, imeyuschikh dokazuemostnuyu interpretatsiyu, s ogranicheniyami na chislo peremennykh”, Mezhdunarodnaya konferentsiya “Kolmogorov i sovremennaya matematika”, Tezisy dokladov (Moskva, 16–21 iyunya 2003 goda), MGU, Moskva, 2003, 707–708
32. A. V. Chagrov, L. A. Chagrova, “O semantike Kripke so vzryvayuschimisya mirami dlya bazisnoi logiki”, Chetvertye Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (Moskva, 28–30 maya 2005 goda), IF RAN, Moskva, 2003, 53–54
33. A. V. Chagrov, “O rasshireniyakh «superintuitsionistskogo» logiki dokazuemosti formulami ot odnoi peremennoi”, Chetvertye Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (Moskva, 28–30 maya 2005 goda), IF RAN, Moskva, 2003, 51–53
34. M. Rybakov, A. Chagrov, “How many variables does one need to prove PSPACE-hardness of modal logics?”, Advances in Modal Logic, 4, Kings College Publications, London, 2003, 71–82  mathscinet  zmath
35. A. V. Chagrov, “Formalnaya propozitsionalnaya logika A. Vissera i ee rasshireniya”, Logicheskie issledovaniya, 10, IF RAN, Moskva (2003), 225–232
36. A. V. Chagrov, “Kultura matematicheskoi rechi kak sostavnaya chast matematicheskogo obrazovaniya”, Matematicheskaya i metodicheskaya podgotovka studentov pedvuzov i universitetov v usloviyakh modernizatsii sistemy obrazovaniya, Materialy XXII Vserossiiskogo seminara prepodavatelei matematiki pedvuzov i universitetov (Tver), 2003, 160–163

   2002
37. A. V. Chagrov, “Superintuitsionistskie logiki, konservativnye otnositelno bezymplikativnykh fragmentov intuitsionistskoi logiki”, Materialy yubileinoi nauchnoi konferentsii «Rossiiskoi matematike — trista let» (Tver), TvGU, Tver, 2002, 121–126
38. M. N. Rybakov, A. V. Chagrov, “Modalnye formuly bez peremennykh i PSPACE-polnota”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke, Materialy VII Obscherossiiskoi nauchnoi konferentsii (Sankt-Peterburg, 20–22 iyunya 2002 goda), SPbGU, Sankt-Peterburg, 2002, 498–500
39. A. V. Chagrov, L. A. Chagrova, “Algoritmicheskaya problema pervoporyadkovoi opredelimosti intuitsionistskikh formul na konechnykh shkalakh Kripke”, Materialy yubileinoi nauchnoi konferentsii «Rossiiskoi matematike — trista let» (Tver), TvGU, Tver, 2002, 115–120
40. A. V. Chagrov, A. A. Chagrova, “Normal modal logics with (in)finite sets of nonequivalent modalities”, Materialy yubileinoi nauchnoi konferentsii «Rossiiskoi matematike — trista let» (Tver), TvGU, Tver, 2002, 127–139
41. A. V. Chagrov, L. A. Chagrova, “O dvukh vidakh semantiki Kripke dlya bazisnoi logiki A. Vissera”, Trudy nauchno-issledovatelskogo seminara Logicheskogo tsentra Instituta filosofii RAN, 16, IF RAN, Moskva, 2002, 112–116  zmath
42. M. N. Rybakov, A. V. Chagrov, “Konstantnye formuly v modalnykh logikakh: problema razresheniya”, Logicheskie issledovaniya, 9, IF RAN, Moskva (2002), 202–220  zmath
43. A. V. Chagrov, “Algoritmicheskaya problema aksiomatizatsii tablichnoi normalnoi modalnoi logiki”, Logicheskie issledovaniya, 9, IF RAN, Moskva (2002), 251–263  zmath
44. A. V. Chagrov, M. N. Rybakov, “Least Number of Variables for PSPACE-Hardness of Provability Problem in Systems of Modal Logic”, Advances in Modal Logic (30 Septembre – 2 Octobre 2002. Institut de Reacherche en Informatique de Toulouse, Universite Paul Sabatier, Toulouse, France), Toulouse, 2002, 178–188
45. A. V. Chagrov, “K voprosu ob istokakh izucheniya logiko-metodologicheskikh osnov matematiki v Tverskom pedvuze”, Trekhvekovoi yubilei rossiiskoi matematiki i fiziko-matematicheskogo obrazovaniya, Materialy mezhvuzovskoi nauchno-metodicheskoi konferentsii (Tver), TvGU, Tver, 2002, 68–72

   2001
46. A. V. Chagrov, L. A. Chagrova, “Pervoporyadkovaya opredelimost intuitsionistskikh formul na konechnykh shkalakh Kripke: algoritmicheskii aspekt”, Treti Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (Moskva, 24–27 maya 2001 goda), Moskva, 2001, 71–75
47. A. V. Chagrov, “Algoritmicheskaya problematika v neklassicheskikh propozitsionalnykh logikakh”, Treti Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (Moskva, 24–27 maya 2001 goda), Moskva, 2001, 69–71
48. A. V. Chagrov, “K logicheskim problemam semanticheskikh aspektov informatsionnogo vzaimodeistviya”, Trudy 3 Mezhdunarodnoi konferentsii “Problemy upravleniya i modelirovaniya v slozhnykh sistemakh”, Samara, 2001, 611–616
49. A. V. Chagrov, “Dokazatelstvo odnoi teoremy Kripke”, Trudy nauchno-issledovatelskogo seminara Logicheskogo tsentra Instituta filosofii RAN, 15, IF RAN, Moskva, 2001, 113–119  zmath
50. M. Zakharyaschev, F. Wolter, A. Chagrov, “Advanced Modal Logic”, Handbook of Philosophical Logic, 2nd edition, Volume 3, eds. D. M. Gabbay, F. Guenthner, Kluwer Academic Publisher, Dordrecht, Netherlands, 2001, 83–266  crossref  mathscinet  zmath
51. A. V. Chagrov, “K voprosu ob obratnoi matematike modalnoi logiki”, Logicheskie issledovaniya, 8, IF RAN, Moskva (2001), 224–243  zmath
52. A. Chagrov, “All tabular generally Post-complete extensions of K4 have interpolation property”, Informatsionnye protsessy, 1:1 (2001), 50–55

   2000
53. A. V. Chagrov, “Ob interpolyatsionnom svoistve polnykh po E. Postu modalnykh logik”, Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke, Materialy VI Obscherossiiskoi nauchnoi konferentsii (22–24 iyunya 2000 goda), SPbGU, Sankt-Peterburg, 2000, 258–259
54. A. V. Chagrov, “Logika, ne yavlyayuschayasya ni konechnoznachnoi, ni beskonechnoznachnoi”, Trudy nauchno-issledovatelskogo seminara Logicheskogo tsentra Instituta filosofii RAN, 14, IF RAN, Moskva, 2000, 59–67  zmath
55. M. N. Rybakov, A. V. Chagrov, “Standartnye perevody neklassicheskikh formul i otnositelnaya razreshimost logik”, Trudy nauchno-issledovatelskogo seminara Logicheskogo tsentra Instituta filosofii RAN, 14, IF RAN, Moskva, 2000, 81–98  zmath
56. A. V. Chagrov, “Ob effektivnykh teoremakh o deduktsii v normalnykh modalnykh logikakh”, Logicheskie issledovaniya, 7, IF RAN, Moskva (2000), 209–216  zmath
57. A. V. Chagrov, “Dva zamechaniya o strogo implikativnykh formulakh v modalnoi logike S3”, Logicheskie issledovaniya, 7, IF RAN, Moskva (2000), 84–89  zmath

   1999
58. A. V. Chagrov, “K voprosu ob obratnoi matematike modalnoi logiki”, Vtorye Smirnovskie chteniya po logike, Materialy mezhdunarodnoi nauchnoi konferentsii (Moskva, 18–20 maya 1999 goda), Moskva, 1999, 72–75 (to appear)
59. A. V. Chagrov, “A first-order effect and modal propositional formulas”, Logic and Foundations of Mathematics. Selected Contributed Papers of the 10th International Congress of Logic, Methodology and Philosophy of Science (Florence 1995), 280, Springer, Dordrecht, 1999, 209–217  crossref  mathscinet
60. A.V.Chagrov, “Strogo implikativnye formuly v modalnykh logikakh, blizkikh k intuitsionistskoi”, Logicheskie issledovaniya, 6, IF RAN, Moskva (1999), 69–75  zmath
61. A. V. Chagrov, “Ob alterniruyuschem informatsionnom vzaimodeistvii”, Problemy upravleniya i modelirovaniya v slozhnykh sistemakh: Trudy Mezhdunarodnoi konferentsii (Samara), eds. V. P. Myasknikov, N. A. Kuznetsov, V. A. Vittikh, Samarskii nauchnyi tsentr RAN, Samara, 1999, 168–171
62. A. V. Chagrov, “O roli aksiomy vybora v issledovaniyakh po modalnoi logike”, XXI vek: buduschee Rossii v filosofskom izmerenii., Materialy Vtorogo Rossiiskogo filosofskogo kongressa (Ekaterinburg, 7–11 iyunya 1999 goda), V 4-kh t. T.1: Ontologiya, gnoseologiya i metodologiya nauki, logika. Ch.1., Izd-vo Ural. un-ta, Ekaterinburg, 1999, 235

   1998
63. A. Chagrov, M. Zakharyashchev, “Mathematical aspects of modal logics: achivements, tendencies, problems”, Bulletin of the Section of Logic, 27:1/2 (1998), 50–52
64. A. V. Chagrov, A. A. Chagrova, “Beskonechnye mnozhestva nesvodimykh modalnostei v normalnykh modalnykh logikakh”, Logicheskie issledovaniya, 1998, Moskva, Nauka, no. 5, 150–159  zmath
65. A. V. Chagrov, Modelirovanie vychislitelnykh protsessov sredstvami propozitsionalnykh logik, Avtoreferat dissertatsii na soiskanie stepeni doktora fiziko-matematicheskikh nauk, Moskva, 1998  elib
66. A. V. Chagrov, Modelirovanie vychislitelnykh protsessov sredstvami propozitsionalnykh logik, Dissertatsiya na soiskanie stepeni doktora fiziko-matematicheskikh nauk (05.13.17, 01.01.06), IPPI RAN, Moskva, 1998 , 292 pp.

   1997
67. A. Chagrov, M. Zakharyaschev, Modal Logic, Oxford University Press, 1997 , 605 pp.  mathscinet  zmath

   1996
68. M. Zakharyaschev, F. Wolter, A. Chagrov, Advanced Modal Logic, Preprint IS–RR–96–0027F (ISSN 0918–7553), School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku, 1996  mathscinet  zmath

   1995
69. A. Chagrov, M. Zakharyaschev, “On the independent axiomatizability of modal and intermediate logics”, J. Logic Computat., 5:3 (1995), 287–302  crossref  mathscinet  zmath  elib  scopus (cited: 6)
70. A. Chagrov, “One more first order effect in Kripke semantics”, Proc. of the 10th International Congress of Logic, Methodology and Philosophy of Science (Florence, Italy), 1995, 175
71. A. Chagrov, M. Zakharyaschev, “Sahlqvist formulas are not so elementary even above S4”, Logic Colloquium 92, Edited by Laslo Csirmaz, Dov M. Gabbay and Maarten de Rijke, CSLI (Center for the Study of Language and Information) Publications (& Folli (The European Association for Logic, Language and Information)), Stanford, California, 1995, 61–73  mathscinet  zmath
72. A. Chagrov, “A note on expressive power of iteration”, Bulletin of the Section of Logic, 24:4 (1995), 234–235  mathscinet  zmath
73. A. V. Chagrov, L. A. Chagrova, “Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames”, Studia Logica, 55:3 (1995), 421–448  crossref  mathscinet  zmath  scopus (cited: 4)
74. A. Chagrov, M. Zakharyaschev, “You cant independently axiomatize all modal logics”, Bull. Symbol. Log., 1:1 (1995), 108–109
75. A. Chagrov, “The undecidability of the tabularity problem for modal logic”, Bull. Symbol. Log., 1:2 (1995), 228
76. A. V. Chagrov, V. B. Shehtman, “Algorithmic aspects of propositional tense logics”, Computer Science Logic, 8th Workshop, CSL `94 (Kazimierz, Poland, September 25-30, 1994), Lecture Notes in Computer Science, 933, L. Pacholski, J. Tiuryn (Eds.), 1995, 442–455 (Springer)  crossref  mathscinet  zmath  isi (cited: 5)  elib  scopus (cited: 8)

   1994
77. A. Chagrov, “Some remarks about generalized Post-completeness of extensions of K4”, Bulletin of the Section of Logic, 23:1 (1994), 27–29  mathscinet  zmath
78. A. Chagrov, “The undecidability of the tabularity problem for modal logic”, Logic Colloquium94, Abstr. of contributed papers (Clermont-Ferrand, France, 21-30 juilett 1994), 1994, 34
79. A. V. Chagrov, V. B. Shehtman, “Algorithmic Aspects of Tense Logics”, 1994 Annual Conference for Computer Science Logic (September 26–30, 1994, Kazimierz, Poland), Abstracts. Technical report TR 94–08(197), Institute of Informatics, Warsaw University, 1994, 26  mathscinet
80. A. V. Chagrov, “O rekursivnoi approksimiruemosti modalnykh i superintuitsionistskikh logik”, Algebraicheskie i logicheskie konstruktsii, TGU, Tver, 1994, 91–97
81. A. V. Chagrov, “Nerazreshimye svoistva superintuitsionistskikh logik”, Matematicheskie voprosy kibernetiki. Vyp. 5, Sbornik statei, Pod red. S. V. Yablonskogo, Fizmatlit, Moskva, 1994, 62–108

   1993
82. A. V. Chagrov, L. A. Chagrova, Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames, Preprint, ILLC Prepublication Series for Mathematical Logic and Foundations, ML-93-07, University of Amsterdam, 1993  mathscinet
83. A. Chagrov, M. Zakharyashchev, On the independent axiomatizability of modal and intermediate logics, Preprint, ILLC Prepublication Series for Mathematical Logic and Foundations, ML-93-17, University of Amsterdam, 1993  mathscinet
84. A. Chagrov, M. Zakharyashchev, “The undecidability of the disjunction property of propositional logics and other related problems”, J. Symb. Log., 58:3 (1993), 967–1002  crossref  mathscinet  zmath  isi (cited: 16)
85. A. Chagrov, M. Zakharyashchev, “The Sahlqvist formulas are not so elementary”, J. Symb. Log., 58:3 (1993), 1137–1138  crossref  mathscinet
86. A. Chagrov, “Four intervals of irreducible logics”, Bulletin of the Section of Logic, 22:4 (1993), 167–168  mathscinet  zmath

   1992
87. A. V. Chagrov, “Continuality of the set of maximal superintuitionistic logics with the disjunction property”, Math. Notes, 51:2 (1992), 188–193  mathnet  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 1)
88. A. Chagrov, M. Zakharyashchev, “Modal Companions of Intermediate Propositional Logics”, Studia Logica, 51:1 (1992), 49–82  crossref  mathscinet  zmath  scopus (cited: 33)
89. A. Chagrov, M. Zakharyashchev, “The Sahlqvist formulas are not so elementary”, The 1992 Europian Summer Meeting of the ASL (Vesprem, August 9–15, 1992), Abstracts. J.Bolyai Mathematical Society, 1992, 75
90. A. V. Chagrov, “Razreshimaya modalnaya logika s nerazreshimoi problemoi dopustimosti pravil vyvoda”, Algebra i logika, 31:1 (1992), 83–93  mathnet  crossref  mathscinet  zmath  scopus (cited: 12)
91. A. V. Chagrov, “Decidable modal logic with undecidable admissibility problem”, Algebra and Logic, 31:1, Consultants Bureau (United States) (1992), 53–61  crossref  mathscinet  zmath  scopus (cited: 12)

   1991
92. A. Chagrov, M. Zakharyashchev, The disjunction property of intermediate propositional logics, Preprint, University of Amsterdam, ITLI Prepublication Series, X-91-01, 1991  mathscinet
93. A. Chagrov, M. Zakharyashchev, Undecidability of the disjunction property of intermediate propositional logics, Preprint, University of Amsterdam, ITLI Prepublication Series, X-91-02, 1991  mathscinet
94. A. Chagrov, M. Zakharyashchev, “The disjunction property of intermediate propositional logics”, Studia Logica, 50:2, Kluwer Academic Publishers (Netherlands) (1991), 189–216  crossref  mathscinet  zmath  scopus (cited: 18)

   1990
95. A. V. Chagrov, M. V. Zakharyashchev, “On Hallden-completeness of intermediate and modal logics”, Bulletin of the Section of Logic, 19:1 (1990), 21–24  mathscinet  zmath
96. A. V. Chagrov, “Undecidability in propositional logics: calculi, formulas, properties”, Third Logical Biennial, Summer school&conference in honour of S. C. Kleene (June 6–15, 1990; Chaika near Varna; Bulgaria), Sofia, 1990, 14
97. A. Chagrov, M. Zakharyashchev, “Modal companions of intermediate logics: A survey”, Third Logical Biennial, Summer school&conference in honour of S. C. Kleene (June 6–15, 1990; Chaika near Varna; Bulgaria), Sofia, 1990, 15
98. M. V. Zakharyaschev, A. V. Chagrov, Nerazreshimost svoistva polnoty po Kholdenu modalnykh ischislenii, Preprint In. prikl. matem. im. M.V.Keldysha AN SSSR, #82, 1990
99. A. V. Chagrov, L. A. Chagrova, “O pervoporyadkovoi opredelimosti intuitsionistskikh formul v klasse shkal vysoty ne bolee trekh”, Konstruktsii v algebre i logike, TGU, Tver, 1990, 117–119
100. A. Chagrov, M. Zakharyashchev, “An essay in complexity aspects of intermediate calculi”, Proceedings of the Fourth Asian Logic Conference (September 3–6, 1990, Tokyo), 1990, 26–29
101. A. V. Chagrov, “Pogruzheniya intuitsionistskoi logiki v alterniruyuschuyu propozitsionalnuyu dinamicheskuyu logiku”, Kh Vsesoyuznaya konferentsiya po logike, metodologii i filosofii nauki, Tez. dokl. i vyst., BelNIINTI, Minsk, 1990, 96–97
102. M. V. Zakharyaschev, A. V. Chagrov, “O polnote po Kholdenu”, Desyataya Vsesoyuznaya konferentsiya po matematicheskoi logike (Alma-Ata, 1–3 noyabrya 1990 goda), Alma-Ata, Gylym, 1990, 70
103. A. V. Chagrov, “Nerazreshimost finitarnogo semanticheskogo sledovaniya”, Desyataya Vsesoyuznaya konferentsiya po matematicheskoi logike (Alma-Ata, 1–3 noyabrya 1990 goda), Alma-Ata, Gylym, 1990, 162
104. A. V. Chagrov, “Nerazreshimye svoistva rasshirenii logiki dokazuemosti”, Algebra i logika, 29:3 (1990), 350–367  mathnet (cited: 5)  crossref  mathscinet  zmath  scopus (cited: 2)
105. A. V. Chagrov, “Nerazreshimye svoistva rasshirenii logiki dokazuemosti. II”, Algebra i logika, 29:5 (1990), 613–623  mathnet (cited: 1)  crossref  mathscinet  zmath  scopus (cited: 4)
106. A. V. Chagrov, “Kakie zhe svoistva rasshirenii K4 razreshimy?”, Filosofskie osnovaniya neklassicheskikh logik, Trudy nauchno-issledovatelskogo seminara po logike Instituta filosofii AN SSSR, 8, Institut filosofii AN SSSR, Moskva, 1990, 90–94
107. A. V. Chagrov, “Undecidable properties of extensions of the logic of provability. I”, Algebra and Logic, 29:3, Consultants Bureau (United States) (1990), 231–243  mathnet (cited: 5)  crossref  mathscinet  zmath  scopus (cited: 2)
108. A. V. Chagrov, “Undecidable properties of extensions of a provability logic. II”, Algebra and Logic, 29:5, Consultants Bureau (United States) (1990), 406–413  mathnet (cited: 1)  crossref  mathscinet  zmath  scopus (cited: 4)

   1989
109. M. V. Zakharyaschev, A. V. Chagrov, Nerazreshimost diz'yunktivnogo svoistva superintuitsionistskikh ischislenii, Preprint In. prikl. matem. im. M.V.Keldysha AN SSSR, #57, 1989
110. A. V. Chagrov, M. V. Zakharyashchev, “Five theorem about the disjunction property of intermediate logics”, Mezhdunarodnaya konferentsiya po algebre, posvyaschennaya pamyati A.I.Maltseva (1909–1967). Tezisy dokladov po teorii modelei i algebraicheskikh sistem, Novosibirsk, IM SO AN SSSR, 1989, 45
111. A. V. Chagrov, “O granitsakh mnozhestva modalnykh naparnikov intuitsionistskoi logiki”, Neklassicheskie logiki i ikh primeneniya, IF AN SSSR, Moskva, 1989, 74–81
112. A. V. Chagrov, “Dobavlenie k state L.A.Chagrovoi “O nerazreshimosti pervoporyadkovoi opredelimosti propozitsionalnykh formul””, Neklassicheskie logiki i ikh primeneniya, IF AN SSSR, Moskva, 1989, 84–85
113. A. V. Chagrov, M. V. Zakharyashchev, “Five theorem about the disijunction property of intermediate logics”, ASL Logic Colloquium “Berlin 89”, 1989
114. A. V. Chagrov, “Netablichnost — predtablichnost, antitablichnost, koantitablichnost”, Algebro-logicheskie konstruktsii, KGU, Kalinin, 1989, 105–111

   1988
115. A. V. Chagrov, “Neskolko zamechanii o svoistvakh iteratsii”, II Vsesoyuznaya konferentsiya po prikladnoi logike, Tezisy dokladov (Novosibirsk, 7–9 iyunya 1988 goda), Novosibirsk, 1988, 237–239
116. A. V. Chagrov, “Nekotorye svoistva “logicheskikh” ekvatsionalnykh logik”, Devyataya Vsesoyuznaya konferentsiya po matematicheskoi logike, Nauka, Leningrad, 1988, 172

   1987
117. A. V. Chagrov, “Dve teoremy ob ekvatsionalnykh logikakh v signature iz dvukh unarnykh simvolov”, Logiko-algebraicheskie konstruktsii, KGU, Kalinin, 1987, 90–96
118. A. V. Chagrov, “Possibilities of the classical interpretations of intuitionistic logic”, Proc. 8th International Congress of Logic, Meth. and Phil. Science (Moscow, August 1987), 5, Part 1, Nauka, Moscow, 1987, 237–239
119. A. I. Tsitkin, A. V. Chagrov, “Ob approksimiruemosti mnogoobrazii psevdobulevykh algebr”, XIX Vsesoyuznaya algebraicheskaya konferentsiya (Lvov, 9–11 sentyabrya 1987 goda), Tezisy soobschenii, chast pervaya, Lvov, 1987, 305
120. A. V. Chagrov, “Dva novykh vida multimodalnykh logik”, Neklassicheskie logiki i propozitsionalnye ustanovki, IF AN SSSR, Moskva, 1987, 48–59
121. A. V. Chagrov, Slozhnost approksimiruemosti modalnykh i superintuitsionistskikh logik, Kandidatskaya dissertatsiya po spetsialnosti 01.01.06 – Matematicheskaya logika, algebra i teoriya chisel, KGU, Tver, 1987

   1986
122. A. V. Chagrov, “Prostye primery nerazreshimykh rekursivno aksiomatiziruemykh finitno approksimiruemykh ekvatsionalnykh logik”, Vosmaya Vsesoyuznaya konferentsiya po matematicheskoi logike (Moskva), 1986, 206
123. A. V. Chagrov, “Dva kontinuuma maksimalnykh propozitsionalnykh logik”, Logika i sistemnye metody analiza nauchnogo znaniya. Tezisy dokladov k IX Vsesoyuznomu soveschaniyu po logike, metodologii i filosofii nauki (Kharkov, 8–10 oktyabrya 1986 goda), Moskva, 1986, 50–51
124. A. V. Chagrov, “Nizhnyaya otsenka moschnosti approksimiruyuschikh shkal Kripke”, Logicheskie metody postroeniya effektivnykh algoritmov, KGU, Kalinin, 1986, 96–125
125. A. V. Chagrov, L. A. Chagrova, “Razreshimost problemy antitablichnosti rasshirenii logiki Gedelya–Leba”, Logicheskie metody postroeniya effektivnykh algoritmov, KGU, Kalinin, 1986, 126–129

   1985
126. A. V. Chagrov, “O slozhnosti propozitsionalnykh logik”, Slozhnostnye problemy matematicheskoi logiki, KGU, Kalinin, 1985, 80–90  mathscinet
127. A. V. Chagrov, “Mnogoobraziya logicheskikh matrits”, Algebra i logika, 24:4 (1985), 426–489  mathnet (cited: 1)  crossref  mathscinet  zmath  scopus (cited: 3)
128. A. V. Chagrov, “0-porozhdennye logicheskie matritsy, porozhdaemye imi mnogoobraziya i polnota po Postu”, XVIII Vsesoyuznaya algebraicheskaya konferentsiya (Kishinev, 16–18 sentyabrya 1985 goda), Tezisy soobschenii. Chast vtoraya, Kishinev, 1985, 262
129. A. V. Chagrov, “Varieties of logical matrices”, Algebra and Logic, 24:4, Consultants Bureau (United States) (1985), 278–325  mathnet (cited: 1)  crossref  mathscinet  zmath  scopus (cited: 3)

   1984
130. A. V. Chagrov, “O slozhnosti superintuitsionistskikh logik”, Sedmaya Vsesoyuznaya konferentsiya po matematicheskoi logike (Novosibirsk, IM SO AN SSSR), Novosibirsk, 1984, 193

   1983
131. A. V. Chagrov, “Neklassicheskie logiki i mnogoobraziya logicheskikh matrits”, Semioticheskie aspekty formalizatsii intellektualnoi deyatelnosti. Shkola-seminar “Telavi-83”. Tezisy dokladov i soobschenii, Moskva, 1983, 136–138
132. A. V. Chagrov, “O minimalnykh modalnykh naparnikakh Int”, Semioticheskie aspekty formalizatsii intellektualnoi deyatelnosti. Shkola-seminar “Telavi-83”. Tezisy dokladov i soobschenii, Moskva, 1983, 138–140
133. A. V. Chagrov, “O polinomialnoi finitnoi approksimiruemosti modalnykh i superintuitsionistskikh logik”, Matematicheskaya logika, matematicheskaya lingvistika i teoriya algoritmov, KGU, Kalinin, 1983, 75–83

   1982
134. A. V. Chagrov, “O nenormalnykh modalnykh naparnikakh Int”, Avtomaty, algorifmy, yazyki, KGU, Kalinin, 1982, 133–148
135. A. V. Chagrov, “Chisla Kuratovskogo”, Primenenie funktsionalnogo analiza v teorii priblizhenii, KGU, Kalinin, 1982, 186–190  mathscinet
136. A. V. Chagrov, “O nekotorykh svoistvakh rasshirenii modalnoi logiki S3”, Modalnye i intensionalnye logiki. Materialy VIII Vsesoyuznoi konferetsii “Logika i metodologiya nauki”, Vilnyus, 1982, 123–124

   1981
137. A. V. Chagrov, “Superintuitsionistskie fragmenty nenormalnykh modalnykh logik”, Matematicheskaya logika i matematicheskaya lingvistika, KGU, Kalinin, 1981, 144–162

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021