( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
'Knowable' as 'known after an announcement'.

, , , , , и . Rev. Symb. Log., 1 (3): 305-334 (2008)

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.

Tiago de Oliveira Pinto

Daiana de Lima Morales

Isabel Arruda Matheos de Lima

Joana Helena Esteves de Lima

Marcelo de Lima Leal Ferreira

 

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

Private Expansion and Revision in Multi-agent Settings., , , и . ECSQARU, том 9161 из Lecture Notes in Computer Science, стр. 175-185. Springer, (2015)Intention et logique épistémique dynamique., , , и . RJCIA, стр. 1-9. (2019)From Situation Calculus to Dynamic Epistemic Logic., , и . J. Log. Comput., 21 (2): 179-204 (2011)Tableaux for Dynamic Logic of Propositional Assignments., и . CoRR, (2014)'Knowable' as 'known after an announcement'., , , , , и . Rev. Symb. Log., 1 (3): 305-334 (2008)Checking Agent Intentions in Games., , , и . ICTAI, стр. 815-822. IEEE, (2021)Intention Change via Local Assignments., , и . LADS, том 6822 из Lecture Notes in Computer Science, стр. 136-151. Springer, (2010)On the dynamics of institutional agreements., , и . Synthese, 171 (2): 321-355 (2009)Alternating-time temporal dynamic epistemic logic.. J. Log. Comput., 24 (6): 1145-1178 (2014)Epistemic Actions and Ontic Actions: A Unified Logical Framework., и . IBERAMIA-SBIA, том 4140 из Lecture Notes in Computer Science, стр. 409-418. Springer, (2006)