Sergei P. Odintsov

26 papers A* 1B 3Misc 1Journal 20Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
An Algebraic Investigation of the Connexive Logic sfC.
Stud Logica
Davide Fazio, Sergei P. Odintsov
2021 J jnl
Routley Star and Hyperintensionality.
J. Philos. Log.
Sergei P. Odintsov, Heinrich Wansing
2020 J jnl
Belnap-Dunn Modal Logics: Truth constants vs. Truth Values.
Rev. Symb. Log.
Sergei P. Odintsov, Stanislav O. Speranski
2018 J jnl
Hintikka's Independence-Friendly Logic Meets Nelson's Realizability.
Stud Logica
Sergei P. Odintsov, Stanislav O. Speranski, Igor Shevchenko
2017 J jnl
Disentangling FDE-Based Paraconsistent Modal Logics.
Stud Logica
Sergei P. Odintsov, Heinrich Wansing
2015 J jnl
The Logic of Generalized Truth Values and the Logic of Bilattices.
Stud Logica
Sergei P. Odintsov, Heinrich Wansing
2013 J jnl
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.
Stud Logica
Sergei P. Odintsov, Stanislav O. Speranski
2013 J jnl
On deductive bases for paraconsistent answer set semantics.
J. Appl. Non Class. Logics
N. V. Mayatskiy, Sergei P. Odintsov
2012 J jnl
BK-lattices. Algebraic Semantics for Belnapian Modal Logics.
Stud Logica
Sergei P. Odintsov, E. I. Latkin
2010 J jnl
Modal logics with Belnapian truth values.
J. Appl. Non Class. Logics
Sergei P. Odintsov, Heinrich Wansing
2010 J jnl
Priestley Duality for Paraconsistent Nelson's Logic.
Stud Logica
Sergei P. Odintsov
2009 J jnl
On Axiomatizing Shramko-Wansing's Logic.
Stud Logica
Sergei P. Odintsov
2009 Misc conf
Well-Founded and Partial Stable Semantics Logical Aspects.
CSR
Pedro Cabalar, Sergei P. Odintsov, David Pearce
2008 J jnl
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACL
J. Appl. Log.
Sergei P. Odintsov, Heinrich Wansing
2007 J jnl
Partial equilibrium logic.
Ann. Math. Artif. Intell.
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2006 B conf
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.
ICLP
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2006 A* conf
Logical Foundations of Well-Founded Semantics.
KR
Pedro Cabalar, Sergei P. Odintsov, David Pearce
2006 B conf
On the Logic and Computation of Partial Equilibrium Models.
JELIA
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2006 — conf
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.
IBERAMIA-SBIA
Pedro Cabalar, Sergei P. Odintsov, David Pearce
2005 J jnl
From the Editors.
Stud Logica
Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko
2005 J jnl
On the structure of paraconsistent extensions of Johansson's logic.
J. Appl. Log.
Sergei P. Odintsov
2005 B conf
Routley Semantics for Answer Sets.
LPNMR
Sergei P. Odintsov, David Pearce
2005 J jnl
The Class of Extensions of Nelson's Paraconsistent Logic.
Stud Logica
Sergei P. Odintsov
2004 J jnl
Negative Equivalence of Extensions of Minimal Logic.
Stud Logica
Sergei P. Odintsov
2004 J jnl
On the Representation of N4-Lattices.
Stud Logica
Sergei P. Odintsov
2003 J jnl
Algebraic Semantics for Paraconsistent Nelson's Logic.
J. Log. Comput.
Sergei P. Odintsov