( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Intuitionistic Linear Temporal Logics.

, , , и . ACM Trans. Comput. Log., 21 (2): 14:1-14:32 (2020)

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.

Laura Balbiani

Philippe Kersting

Philippe Bopp

Philippe Zysset

Philippe Dreuw

 

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

Elementary Unification in Modal Logic KD45., и . FLAP, 5 (1): 301-318 (2018)Reasoning About Permitted Announcements., и . J. Philos. Log., 40 (4): 445-472 (2011)About the Unification Type of Modal Logics Between $KB$ and $KTB$., и . Stud Logica, 108 (5): 941-966 (2020)About the unification type of K+☐☐⊥., , , и . UNIF, стр. 4:1-4:6. (2020)A Uniform Approach to Modelling Timed Protection.. Artificial Intelligence and Applications, стр. 219-224. IASTED/ACTA Press, (2005)Dynamic extensions of arrow logic., и . Ann. Pure Appl. Log., 127 (1-3): 1-15 (2004)Reasoning about negligibility and proximity in the set of all hyperreals.. J. Appl. Log., (2016)'Knowable' as 'known after an announcement'., , , , , и . Rev. Symb. Log., 1 (3): 305-334 (2008)Inequality without irreflexivity.. J. Appl. Non Class. Logics, 9 (4): 523-534 (1999)KD is nullary., и . J. Appl. Non Class. Logics, 27 (3-4): 196-205 (2017)