( en | de | ru )

 

Disambiguation of "Skvortsov, Dmitrij P."

Author of the publication

copydeleteadd this publication to your clipboard
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.

. Stud Logica, 61 (2): 281-292 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pavel Skvortsov

Dmitrij Kissler

Dmitrij Tikhomirov

Dmitrij Hristodorov

Dmitrij Schein

 

Other publications of authors with the same name

Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle., , , and . CSL, volume 2471 of Lecture Notes in Computer Science, page 74-88. Springer, (2002)Remark on a finite axiomatization of finite intermediate propositional logics.. J. Appl. Non Class. Logics, 9 (2-3): 381-386 (1999)On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.. Stud Logica, 61 (2): 281-292 (1998)On the Predicate Logic of Linear Kripke Frames and some of its Extensions.. Stud Logica, 81 (2): 261-282 (2005)Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.. Stud Logica, 59 (3): 387-396 (1997)A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.. Advances in Modal Logic, page 392-410. College Publications, (2010)On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames.. J. Log. Comput., 16 (5): 685-695 (2006)The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.. J. Symb. Log., 70 (2): 451-459 (2005)Non-Axiomatizable Second Order Intuitionistic Propositional Logic.. Ann. Pure Appl. Log., 86 (1): 33-46 (1997)Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics., and . Ann. Pure Appl. Log., 63 (1): 69-101 (1993)