Vania Costa

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

3 Vania Costa, Mario R. F. Benevides: Reasoning about Knowledge in Asynchronous Distributed Systems. Logic Journal of the IGPL 13(1): 5-28 (2005)

2 Vania Costa, Mario R. F. Benevides: Formalizing Concurrent Common Knowledge as Product of Modal Logics. Logic Journal of the IGPL 13(6): 665-684 (2005)

2002

1 Vania Costa, Mario R. F. Benevides: A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. IC-AI 2002: 1271-1277

	2005
3		Vania Costa, Mario R. F. Benevides: Reasoning about Knowledge in Asynchronous Distributed Systems. Logic Journal of the IGPL 13(1): 5-28 (2005)
2		Vania Costa, Mario R. F. Benevides: Formalizing Concurrent Common Knowledge as Product of Modal Logics. Logic Journal of the IGPL 13(6): 665-684 (2005)
	2002
1		Vania Costa, Mario R. F. Benevides: A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. IC-AI 2002: 1271-1277

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page