( en | de | ru )

 

Disambiguation of "Shehtman, Valentin B."

Author of the publication

copydeleteadd this publication to your clipboard
Local tabularity without transitivity.

, and . Advances in Modal Logic, page 520-534. College Publications, (2016)

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.

B Schäfers

B Wiederanders

B Hause

B Klösgen

B Strauß

 

Other publications of authors with the same name

Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics., and . Ann. Pure Appl. Log., 63 (1): 69-101 (1993)On Modal Logics of Hamming Spaces., , and . Advances in Modal Logic, page 395-410. College Publications, (2012)"Everywhere" and "Here".. J. Appl. Non Class. Logics, 9 (2-3): 369-379 (1999)Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables., and . J. Symb. Log., 58 (3): 800-823 (1993)On Kripke completeness of modal predicate logics around quantified K5.. Ann. Pure Appl. Log., 174 (2): 103202 (2023)Chronological Future Modality in Minkowski Spacetime., and . Advances in Modal Logic, page 437-460. King's College Publications, (2002)Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.. Stud Logica, 49 (3): 365-385 (1990)Algorithmic Aspects of Propositional Tense Logics., and . CSL, volume 933 of Lecture Notes in Computer Science, page 442-455. Springer, (1994)Canonical Filtrations and Local Tabularity.. Advances in Modal Logic, page 498-512. College Publications, (2014)Every world can see a Sahlqvist world., , and . Advances in Modal Logic, page 69-85. College Publications, (2006)