Sergei P. Odintsov

According to our database, Sergei P. Odintsov authored at least 26 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

An Algebraic Investigation of the Connexive Logic sfC.

Davide Fazio, Sergei P. Odintsov

Stud Logica, April, 2024

2021

Routley Star and Hyperintensionality.

Sergei P. Odintsov, Heinrich Wansing

J. Philos. Log., 2021

2020

Belnap-Dunn Modal Logics: Truth constants vs. Truth Values.

Sergei P. Odintsov, Stanislav O. Speranski

Rev. Symb. Log., 2020

2018

Hintikka's Independence-Friendly Logic Meets Nelson's Realizability.

Sergei P. Odintsov, Stanislav O. Speranski, Igor Shevchenko

Stud Logica, 2018

2017

Disentangling FDE-Based Paraconsistent Modal Logics.

Sergei P. Odintsov, Heinrich Wansing

Stud Logica, 2017

2015

The Logic of Generalized Truth Values and the Logic of Bilattices.

Sergei P. Odintsov, Heinrich Wansing

Stud Logica, 2015

2013

Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.

Sergei P. Odintsov, Stanislav O. Speranski

Stud Logica, 2013

On deductive bases for paraconsistent answer set semantics.

N. V. Mayatskiy, Sergei P. Odintsov

J. Appl. Non Class. Logics, 2013

2012

BK-lattices. Algebraic Semantics for Belnapian Modal Logics.

Sergei P. Odintsov, E. I. Latkin

Stud Logica, 2012

2010

Priestley Duality for Paraconsistent Nelson's Logic.

Sergei P. Odintsov

Stud Logica, 2010

Modal logics with Belnapian truth values.

Sergei P. Odintsov, Heinrich Wansing

J. Appl. Non Class. Logics, 2010

2009

On Axiomatizing Shramko-Wansing's Logic.

Sergei P. Odintsov

Stud Logica, 2009

Well-Founded and Partial Stable Semantics Logical Aspects.

Pedro Cabalar, Sergei P. Odintsov, David Pearce

Proceedings of the Computer Science, 2009

2008

Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACL^C.

Sergei P. Odintsov, Heinrich Wansing

J. Appl. Log., 2008

2007

Partial equilibrium logic.

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde

Ann. Math. Artif. Intell., 2007

2006

Logical Foundations of Well-Founded Semantics.

Pedro Cabalar, Sergei P. Odintsov, David Pearce

Proceedings of the Proceedings, 2006

On the Logic and Computation of Partial Equilibrium Models.

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde

Proceedings of the Logic Programming, 22nd International Conference, 2006

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.

Pedro Cabalar, Sergei P. Odintsov, David Pearce

Proceedings of the Advances in Artificial Intelligence, 2006

2005

From the Editors.

Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko

Stud Logica, 2005

The Class of Extensions of Nelson's Paraconsistent Logic.

Sergei P. Odintsov

Stud Logica, 2005

On the structure of paraconsistent extensions of Johansson's logic.

Sergei P. Odintsov

J. Appl. Log., 2005

Routley Semantics for Answer Sets.

Sergei P. Odintsov, David Pearce

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

2004

Negative Equivalence of Extensions of Minimal Logic.

Sergei P. Odintsov

Stud Logica, 2004

On the Representation of N4-Lattices.

Sergei P. Odintsov

Stud Logica, 2004

2003

Algebraic Semantics for Paraconsistent Nelson's Logic.

Sergei P. Odintsov

J. Log. Comput., 2003