( en | de | ru )

 

Disambiguation of "Skvortsov, Dmitrij P."

Author of the publication

copydeleteadd this publication to your clipboard
Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete.

. Advances in Modal Logic, page 577-590. College Publications, (2018)

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)Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.. Stud Logica, 59 (3): 387-396 (1997)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)A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.. Advances in Modal Logic, page 392-410. College Publications, (2010)Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics., and . Ann. Pure Appl. Log., 63 (1): 69-101 (1993)Non-Axiomatizable Second Order Intuitionistic Propositional Logic.. Ann. Pure Appl. Log., 86 (1): 33-46 (1997)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)