ИСТИНА	Войти в систему Регистрация
	ИСТИНА ЦЭМИ РАН
	Главная Поиск Статистика О проекте Помощь

---

Studia Logicaжурнал

Статьи, опубликованные в журнале

• • 2023 A Simple Way to Overcome Hyperconnexivity
  • Belikov Alex
  • в журнале Studia Logica, издательство Springer Nature (Switzerland) DOI
• 
  • 2023 Axiomatizing a Minimal Discussive Logic
  • Grigoriev Oleg, Nasieniewski Marek, Mruczek-Nasieniewska Krystyna, Petrukhin Yaroslav, Shangin Vasily
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 111, № 5, с. 855-895 DOI
• • 2023 Infinitary Action Logic with Multiplexing
  • Kuznetsov Stepan L., Speranski Stanislav O.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 111, № 2, с. 251-280 DOI
• • 2020 Non-distributive Relatives of ETL and NFL
  • Kozhemiachenko Daniil
  • в журнале Studia Logica, издательство Springer Nature (Switzerland) DOI
• 
  • 2020 Simplified Kripke-Style Semantics for Some Normal Modal Logics
  • Pietruszczak Andrzej, Klonowski Mateusz, Petrukhin Yaroslav
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 108, № 3, с. 451-476 DOI
• 
  • 2019 Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
  • Rybakov M., Shkatov D.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 107, № 4, с. 695-717 DOI
• 
  • 2017 Disentangling FDE-Based Paraconsistent Modal Logics
  • Odintsov Sergei P., Wansing Heinrich
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 105, № 6, с. 1221-1254 DOI
• 
  • 2017 First-Degree Entailment and its Relatives
  • Shramko Ya, Zaitsev D., Belikov A.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 105, № 6, с. 1291-1347 DOI
• 
  • 2016 Franco Montagna’s work on provability logic and many-valued logic
  • Beklemishev Lev, Flaminio Tommaso
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 104, № 1, с. 1-46 DOI
• 
  • 2015 The Logic of Generalized Truth Values and the Logic of Bilattices
  • Odintsov Sergei P., Wansing Heinrich
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 103, № 1, с. 91-112 DOI
• 
  • 2014 On provability logics with linearly ordered modalities
  • Beklemishev L.D., Fernández-Duque D., Joosten J.J.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 102, № 3, с. 541-566 DOI
• 
  • 2014 Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
  • Zolin Evgeny
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 102, № 5, с. 1021-1039 DOI
• 
  • 2013 Bi-facial Truth: a Case for Generalized Truth Values
  • Zaitsev Dmitry, Shramko Yaroslav
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 101, № 6, с. 1299-1318 DOI
• 
  • 2013 Computability Issues for Adaptive Logics in Multi-Consequence Standard Format
  • Odintsov Sergei P., Speranski Stanislav O.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 101, № 6, с. 1237-1262 DOI
• 
  • 2012 The ontology of justifications in the logical setting
  • Artemov Sergei
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 100, № 1-2, с. 17-30 DOI
• 
  • 2011 Paraconsistency in Categories: Case of Relevant Logic
  • Васюков В.Л.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 98, № 3, с. 429-443
• 
  • 2011 Paraconsistency in Categories: Case of Relevant Logic
  • Vasyukov V.L.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 98, № 3, с. 429-443
• 
  • 2009 A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4
  • Zaitsev D.V.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 92, № 2, с. 265-280 DOI
• 
  • 2005 On modal logics of partial recursive functions
  • Naumov Pavel
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 81, № 3, с. 295-309 DOI
• 
  • 2002 Products of Modal Logics. Part 3: Products of Modal and Temporal Logics
  • Gabbay Dov M., Shehtman Valentin
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 72, № 2, с. 157-183 DOI
• 
  • 2000 The classification of propositional calculi (Finite Boolean lattices for implicational logics)
  • Karpenko A.S.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 66, с. 253-271
• • 2000 V.A. Smirnov (1931–1996): Work and Life
  • Karpenko A.S.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 66, № 2, с. 201-204
• 
  • 1995 Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames
  • Chagrov Alexander, Chagrova Lilia
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 55, № 3, с. 421-448 DOI
• 
  • 1995 Explicit algebraic models for constructive and classical theories with non-standard elements
  • Dragalin Albert G.
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 55, № 1, с. 33-61
• 
  • 1992 Modal companions of intermediate propositional logics
  • Chagrov Alexander, Zakharyaschev Michael
  • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 51, № 1, с. 49-82 DOI