( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Products of 'transitive' modal logics.

, , , и . J. Symb. Log., 70 (3): 993-1021 (2005)

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.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Другие публикации лиц с тем же именем

Modal Logics of Metric Spaces., , и . Rev. Symb. Log., 8 (1): 178-191 (2015)Admissible Bases Via Stable Canonical Rules., , , и . Stud Logica, 104 (2): 317-341 (2016)On Bisimilarity for Polyhedral Models and SLCS., , , , и . FORTE, том 13910 из Lecture Notes in Computer Science, стр. 132-151. Springer, (2023)Bitopological duality for distributive lattices and Heyting algebras., , , и . Math. Struct. Comput. Sci., 20 (3): 359-393 (2010)Geometric Model Checking of Continuous Space., , , , , и . CoRR, (2021)Non-primitive recursive decidability of products of modal logics with expanding domains., , , и . Ann. Pure Appl. Log., 142 (1-3): 245-268 (2006)Products of 'transitive' modal logics., , , и . J. Symb. Log., 70 (3): 993-1021 (2005)Connected modal logics., и . Arch. Math. Log., 50 (3-4): 287-317 (2011)Spectral and T0-Spaces in d-Semantics., , и . TbiLLC, том 6618 из Lecture Notes in Computer Science, стр. 16-29. Springer, (2009)Polyhedral Completeness of Intermediate Logics: the nerve criterion., , , и . J. Symb. Log., 89 (1): 342-382 (2024)