-
1
-
-
38149030815
-
One-Pass tableaux for computation tree logic
-
Springer-Verlag
-
ABATE, P., GOR̀E, R., ANDWIDMANN, F. 2007. One-Pass tableaux for computation tree logic. Lecture Notes in Computer Science. Springer-Verlag, 32-46.
-
(2007)
Lecture Notes in Computer Science
, pp. 32-46
-
-
Abate, P.1
Gor̀e, R.2
Widmann, F.3
-
2
-
-
57049108051
-
Alternating-Time temporal logics with irrevocable strategies
-
D. Samet, Ed.
-
°AGOTNES, T., GORANKO, V., AND JAMROGA, W. 2007. Alternating-Time temporal logics with irrevocable strategies. In Proceedings of the 11th International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), D. Samet, Ed. 15-24.
-
(2007)
Proceedings of the 11th International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI)
, pp. 15-24
-
-
Ågotnes, T.1
Goranko, V.2
Jamroga, W.3
-
4
-
-
84949185739
-
Alternating-time temporal logic
-
Springer-Verlag
-
ALUR, R., HENZINGER, T. A., AND KUPERMAN, O. 1998a. Alternating-time temporal logic. Lecture Notes in Computer Science, vol.1536. Springer-Verlag, 23-60.
-
(1998)
Lecture Notes in Computer Science
, vol.1536
, pp. 23-60
-
-
Alur, R.1
Henzinger, T.A.2
Kuperman, O.3
-
5
-
-
0042908709
-
Alternating-Time temporal logic
-
ALUR, R.,HENZINGER, T. A., ANDKUPERMAN,O. 2002. Alternating-Time temporal logic. J. ACM 49, 5, 672-713.
-
(2002)
J. ACM
, vol.49
, Issue.5
, pp. 672-713
-
-
Alur, R.1
Henzinger, T.A.2
Andkuperman, O.3
-
6
-
-
33646178489
-
Mocha: Modularity in model-checking
-
Springer-Verlag
-
ALUR, R., HENZINGER, T. A., MANG, F. Y. C., QADEER, S., RAJAMANI, S. K., AND TASIRAN, S. 1998b. Mocha: Modularity in model-checking. Lecture Notes in Computer Science, vol.1427. Springer-Verlag, 521-525.
-
(1998)
Lecture Notes in Computer Science
, vol.1427
, pp. 521-525
-
-
Alur, R.1
Henzinger, T.A.2
Mang, F.Y.C.3
Qadeer, S.4
Rajamani, S.K.5
Tasiran, S.6
-
8
-
-
0001449325
-
Temporal and modal logics
-
J. van Leeuwen, Ed. MIT Press
-
EMERSON, E. A. 1990. Temporal and modal logics. In Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Vol.B. MIT Press, 995-1072.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 995-1072
-
-
Emerson, E.A.1
-
9
-
-
0022012464
-
Decision procedures and expressiveness in the temporal logic of branching time
-
EMERSON, E. A. AND HALPERN, J. 1985. Decision procedures and expressiveness in the temporal logic of branching time. J. Comput. Syst. Sci. 30, 1, 1-24.
-
(1985)
J. Comput. Syst. Sci.
, vol.30
, Issue.1
, pp. 1-24
-
-
Emerson, E.A.1
Halpern, J.2
-
10
-
-
0003730235
-
-
MIT Press, Cambridge, MA
-
FAGIN, R., HALPERN, J. Y., MOSES, Y., AND VARDI, M. Y. 1995. Reasoning about Knowledge. MIT Press, Cambridge, MA.
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
12
-
-
40849098760
-
Modal proof theory
-
P. Blackburn, J. van Bentem, and F. Wolter, Eds. Elsevier
-
FITTING, M. C. 2007. Modal proof theory. In Handbook of Modal Logic, P. Blackburn, J. van Bentem, and F. Wolter, Eds. Elsevier, 85-138.
-
(2007)
Handbook of Modal Logic
, pp. 85-138
-
-
Fitting, M.C.1
-
14
-
-
21144453887
-
Comparing semantics of logics for multi-agent systems
-
GORANKO, V. AND JAMROGA, W. 2004. Comparing semantics of logics for multi-agent systems. Synthese 139, 2, 241-280.
-
(2004)
Synthese
, vol.139
, Issue.2
, pp. 241-280
-
-
Goranko, V.1
Jamroga, W.2
-
15
-
-
67650458240
-
Tableau-Based procedure for deciding satisfiability in the full coalitional multi agent epistemic logic
-
S. Artemov and A. Nerode, Eds. Lecture Notes in Computer Science, Springer-Verlag
-
GORANKO, V. AND SHKATOV, D. 2009. Tableau-Based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic. In Proceedings of Symposium on Logical Foundations of Computer Science (LFCS 2009), S. Artemov and A. Nerode, Eds. Lecture Notes in Computer Science, vol.5407. Springer-Verlag, 197-213.
-
(2009)
Proceedings of Symposium on Logical Foundations of Computer Science (LFCS 2009)
, vol.5407
, pp. 197-213
-
-
Goranko, V.1
Shkatov, D.2
-
16
-
-
58049186127
-
Tableau-Based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
-
A. Cerone and S. Gunter, Eds. IEEE Computer Society Press, Corrected version
-
GORANKO, V. AND SHKATOV, D. 2008. Tableau-Based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge. In Proceedings of the 6th IEEE International Conference on Sofware Engineering and Formal Methods (SEFM'08), A. Cerone and S. Gunter, Eds. IEEE Computer Society Press, 237-246. Corrected version http://arxiv.org/abs/0808. 4133.
-
(2008)
Proceedings of the 6th IEEE International Conference on Sofware Engineering and Formal Methods (SEFM'08)
, pp. 237-246
-
-
Goranko, V.1
Shkatov, D.2
-
17
-
-
33244455654
-
Complete axiomatization and decidablity of alternatingtime temporal logic
-
GORANKO, V. AND VANDRIMMELEN,G. 2006. Complete axiomatization and decidablity of alternatingtime temporal logic. Theoretical Comput. Sci. 353, 93-117.
-
(2006)
Theoretical Comput. Sci.
, vol.353
, pp. 93-117
-
-
Goranko, V.1
Van Drimmelen, G.2
-
18
-
-
0001919918
-
Tableau methods for modal and temporal logics
-
M. D'Agostino, D. Gabbay, and R. Hänhle, Eds. Kluwer
-
GOŔE,R. 1988. Tableau methods for modal and temporal logics. In Handbook of Tableau Methods, M. D'Agostino, D. Gabbay, and R. Hänhle, Eds. Kluwer.
-
(1988)
Handbook of Tableau Methods
-
-
Goŕ, E.R.1
-
20
-
-
33746235636
-
The challenge of open systems
-
D. Partridge and Y. Wilks, Eds. Cambridge University Press
-
HEWITT, C. 1990. The challenge of open systems. In The Foundations of Artificial Intelligence-A Sourcebook, D. Partridge and Y. Wilks, Eds. Cambridge University Press, 383-395.
-
(1990)
The Foundations of Artificial Intelligence-A Sourcebook
, pp. 383-395
-
-
Hewitt, C.1
-
21
-
-
75649084728
-
The mosaic method for temporal logics
-
Springer-Verlag
-
MARX, M., MIKUĹAS, S., AND REYNOLDS, M. 2000. The mosaic method for temporal logics. Lecture Notes in Computer Science, vol.1847. Springer-Verlag, 324-340.
-
(2000)
Lecture Notes in Computer Science
, vol.1847
, pp. 324-340
-
-
Marx, M.1
Mikuĺas, S.2
Reynolds, M.3
-
22
-
-
0042407900
-
-
Ph.D. thesis. ILLC Dissertation Series 2001-2010, University of Amsterdam
-
PAULY, M. 2001a. Logic for social software. Ph.D. thesis. ILLC Dissertation Series 2001-2010, University of Amsterdam.
-
(2001)
Logic for Social Software
-
-
Pauly, M.1
-
23
-
-
0010247020
-
A logical framework for coalitional effectivity in dynamic procedures
-
PAULY, M. 2001b. A logical framework for coalitional effectivity in dynamic procedures. Bull. Econom. Res. 53, 4, 305-324.
-
(2001)
Bull. Econom. Res.
, vol.53
, Issue.4
, pp. 305-324
-
-
Pauly, M.1
-
24
-
-
0036466117
-
A modal logic for coalitional power in games
-
PAULY, M. 2002. A modal logic for coalitional power in games. J. Logic Comput. 12, 1, 149-166.
-
(2002)
J. Logic Comput.
, vol.12
, Issue.1
, pp. 149-166
-
-
Pauly, M.1
-
25
-
-
34247603693
-
Game logic-An overview
-
PAULY, M. AND PARIKH, R. 2003. Game logic-An overview. Studia Logica 75, 2, 165-182.
-
(2003)
Studia Logica
, vol.75
, Issue.2
, pp. 165-182
-
-
Pauly, M.1
Parikh, R.2
-
28
-
-
38149135474
-
On the synthesis of strategies in infinite games
-
E. Mayr and C. Puech, Eds. Lecture Notes in Computer Science, Springer
-
THOMAS,W. 1995. On the synthesis of strategies in infinite games. In Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), E. Mayr and C. Puech, Eds. Lecture Notes in Computer Science, vol.900. Springer, 1-13.
-
(1995)
Proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95)
, vol.900
, pp. 1-13
-
-
Thomas, W.1
-
30
-
-
33750350599
-
ATL satisfiability is indeed Exp Time complete
-
WALTHER,D., LUTZ,C.,WOLTER, F., ANDWOOLDRIDGE,M. 2006. ATLsatisfiability is indeed ExpTimecomplete. J. Logic Comput. 16, 6, 765-787.
-
(2006)
J. Logic Comput.
, vol.16
, Issue.6
, pp. 765-787
-
-
Walther, D.1
Lutz, C.2
Wolter, F.3
Wooldridge, M.4
-
31
-
-
0004231565
-
-
WEISS, G., ED. MIT Press
-
WEISS, G., ED. 1999. Multiagent Systems. MIT Press.
-
(1999)
Multiagent Systems
-
-
-
32
-
-
0000427127
-
The tableau method for temporal logic: An overview
-
WOLPER, P. 1985. The tableau method for temporal logic: An overview. Logique et Analyse 28, 110- 111, 119-136.
-
(1985)
Logique et Analyse
, vol.28
, Issue.110-111
, pp. 119-136
-
-
Wolper, P.1
|