( en | de | ru )

 

Disambiguation of "Shkatov, Dmitry"

Author of the publication

copydeleteadd this publication to your clipboard
Extensions of Solovay's system S without independent sets of axioms.

, and . Ann. Pure Appl. Log., 175 (Issue 1, Part A): 103360 (January 2024)

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.

Dmitry Sveshnikov

Dmitry Shvedov

Dmitry Varentsov

Dmitry Marchenko

Dmitry Suslov

 

Other publications of authors with the same name

Undecidability of the Logic of Partial Quasiary Predicates., and . Log. J. IGPL, 30 (3): 519-533 (2022)Logics with an existential modality., and . Advances in Modal Logic, page 31-48. College Publications, (2006)Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information., and . CLIMA, volume 6814 of Lecture Notes in Computer Science, page 122-138. Springer, (2011)Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time., and . AAMAS (2), page 969-976. IFAAMAS, (2009)Extensions of Solovay's system S without independent sets of axioms., and . Ann. Pure Appl. Log., 175 (Issue 1, Part A): 103360 (January 2024)Complexity of propositional Linear-time Temporal Logic with finitely many variables., and . CoRR, (2017)A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames., and . Advances in Modal Logic, page 531-539. College Publications, (2018)Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables., and . CoRR, (2018)A general method for proving decidability of intuitionistic modal logics., and . J. Appl. Log., 4 (3): 219-230 (2006)Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis., , and . M4M, volume 262 of Electronic Notes in Theoretical Computer Science, page 113-125. Elsevier, (2009)