Sergei P. Odintsov

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j12		Sergei P. Odintsov, E. I. Latkin: BK-lattices. Algebraic Semantics for Belnapian Modal Logics. Studia Logica 100(1-2): 319-338 (2012)
	2010
j11		Sergei P. Odintsov, Heinrich Wansing: Modal logics with Belnapian truth values. Journal of Applied Non-Classical Logics 20(3): 279-304 (2010)
j10		Sergei P. Odintsov: Priestley Duality for Paraconsistent Nelson's Logic. Studia Logica 96(1): 65-93 (2010)
	2009
j9		Sergei P. Odintsov: On Axiomatizing Shramko-Wansing's Logic. Studia Logica 91(3): 407-428 (2009)
c6		Pedro Cabalar, Sergei P. Odintsov, David Pearce: Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009: 1-11
	2008
j8		Sergei P. Odintsov, Heinrich Wansing: Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACL^C. J. Applied Logic 6(3): 343-360 (2008)
	2007
j7		Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)
	2006
c5		Pedro Cabalar, Sergei P. Odintsov, David Pearce: Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601
c4		Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP 2006: 346-360
c3		Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94
c2		Pedro Cabalar, Sergei P. Odintsov, David Pearce: Logical Foundations of Well-Founded Semantics. KR 2006: 25-35
	2005
j6		Sergei P. Odintsov: On the structure of paraconsistent extensions of Johansson's logic. J. Applied Logic 3(1): 43-65 (2005)
j5		Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko: From the Editors. Studia Logica 80(2-3): 153-157 (2005)
j4		Sergei P. Odintsov: The Class of Extensions of Nelson's Paraconsistent Logic. Studia Logica 80(2-3): 291-320 (2005)
c1		Sergei P. Odintsov, David Pearce: Routley Semantics for Answer Sets. LPNMR 2005: 343-355
	2004
j3		Sergei P. Odintsov: On the Representation of N4-Lattices. Studia Logica 76(3): 385-405 (2004)
j2		Sergei P. Odintsov: Negative Equivalence of Extensions of Minimal Logic. Studia Logica 78(3): 417-442 (2004)
	2003
j1		Sergei P. Odintsov: Algebraic Semantics for Paraconsistent Nelson's Logic. J. Log. Comput. 13(4): 453-468 (2003)

Coauthor Index

1	Pedro Cabalar	[c6] [j7] [c5] [c4] [c3] [c2]
2	E. I. Latkin	[j12]
3	David Pearce	[c6] [j7] [c5] [c4] [c3] [c2] [c1]
4	Yaroslav Shramko	[j5]
5	Agustín Valverde	[j7] [c4] [c3]
6	Heinrich Wansing	[j11] [j8] [j5]

Last update Wed May 22 17:08:30 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page