Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Lecture Notes in Computer Science;R. Alur,1998
2. Borgo, S.: Concurrency with partial information. In: Mohammadian, M. (ed.) CIMCA 2003, pp. 170–181 (2003)
3. Lecture Notes in Artificial Intelligence;S. Borgo,2003
4. Borgo, S.: Quantificational modal logic with sequential kripke semantics. Journal of Applied Non-Classical Logics 15(2), 137–188 (2005)
5. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)