Editorial
Abstract
No abstract available.
References
[1]
Barwise, J. and Perry, J., 1983, Situations and Attitudes, Cambridge, MA: MIT Press.
[2]
Belnap, N.D., Perloff, M., and Xu, M., 1996, Facing the Future: Actual Agents, Real Choices, manuscript.
[3]
Blackburn, P. and Meyer-Viol, W., 1997, "Modal logic and model-theoretic syntax," pp. 29-60 in Advances in Intensional Logic, M. de Rijke, ed., Dordrecht: Kluwer Academic Publishers.
[4]
Blackburn, P., de Rijke, M., and Venema, Y., 1998, Modal Logic, manuscript.
[5]
Chagrov, A. and Zakharyaschev, M., 1997, Modal Logic, Oxford: Oxford University Press.
[6]
Copeland, J., ed., 1996, Logic and Reality, Essays in Pure and Applied Logic, Oxford: Oxford University Press.
[7]
De Rijke, M., ed., 1997, Advances in Intensional Logic, Dordrecht: Kluwer Academic Publishers.
[8]
Fagin, R., Halpern, J., Moses, Y., and Vardi, M., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press.
[9]
Gabbay, D., Hodkinson, I., and Reynolds, M., 1994, Temporal Logic: Mathematical Foundations and Computational Aspects, Oxford: Oxford University Press.
[10]
Gräber, A., Bürckert, H.-J., and Laux, A., 1995, "Terminological reasoning with knowledge and belief," pp. 29-64 in Knowledge and Belief in Philosophy and Artificial Intelligence, A. Laux and H. Wansing, eds., Berlin: Akademie Verlag.
[11]
Horty, J. and Belnap, N.D., 1995, "The deliberative stit: A study of action, omission, ability, and obligation," Journal of Philosophical Logic 24, 583-644.
[12]
Kozen, D. and Tiuryn, J., 1990, "Logics of programs," pp. 789-840 in Handbook of Theoretical Computer Science, Vol. B, J. van Leeuwen, ed., Amsterdam: North-Holland.
[13]
Kracht, M., 1989, "On the logic of category definitions," Computational Linguistics 15, 111-113.
[14]
Kracht, M., 1996, Tools and Techniques in Modal Logic, Habilitationsschrift, Free University of Berlin.
[15]
Kracht, M., de Rijke, M., Wansing, H., and Zakharyaschev, M., eds., 1998, Advances in Modal Logic. Vol. 1, Stanford, CA: CSLI Publications.
[16]
Laux, A. and Wansing, H., eds., 1995, Knowledge and Belief in Philosophy and Artificial Intelligence , Berlin: Akademie Verlag.
[17]
Manna, Z. and Pnueli, A., 1992, The Temporal Logic of Reactive and Concurrent Systems, Berlin: Springer-Verlag.
[18]
Marx, M. and Venema, Y., 1996, Multi-Dimensional Modal Logic, Dordrecht: Kluwer Academic Publishers.
[19]
McCarthy, J., 1997, "Modality, si! Modal logic, no!," Studia Logica 59, 29-32.
[20]
Meyer, J.-J. and van der Hoek, W., 1995, Epistemic Logic for AI and Computer Science, Cambridge: Cambridge University Press.
[21]
Ponse, A., de Rijke, M., and Venema, Y., eds., 1995, Modal Logic and Process Algebra, Stanford, CA: CSLI Publications.
[22]
Van Benthem, J., 1988, A Manual of Intensional Logic, 2nd revised and expanded edition, Stanford, CA: CSLI Publications.
[23]
Van Benthem, J., 1996, Exploring Logical Dynamics, Stanford, CA: CSLI Publications.
[24]
Wansing, H., ed., 1996, Proof Theory of Modal Logic, Dordrecht: Kluwer Academic Publishers.
[25]
Wansing, H., 1998, Displaying Modal Logic, Dordrecht: Kluwer Academic Publishers, to appear.
[26]
Wolter, F. and Zakharyaschev, M., 1998, "Satisfiability problem in description logics with modal operators," in Proceedings of KR'98, San Francisco, CA: Morgan Kaufmann, to appear.
[27]
Zakharyaschev, M., Wolter, F., and Chagrov, A., 1998, "Advanced modal logic," in Handbook of Philosophical Logic, new edition, D. Gabbay and F. Guenthner, eds., Dordrecht: Kluwer Academic Publishers, to appear.
Recommendations
Editorial: EIC Farewell and New EIC Introduction
TPDS Editorial: EIC Farewell andNew EIC Introduction
EIC's Editorial
Dear readers, in almost all editorials I talked about volunteers dropping out of our Editorial Board and new ones coming in. It may sound like a lot of fluctuation among the members of the Editorial Board, but it is not. Associate Editors start with a two-...
Editorial Notes
This month marks the announcement of some forthcoming changes in the editorial board ofInformation Systems Research.
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © Copyright © 1998 Kluwer Academic Publishers.
Publisher
Kluwer Academic Publishers
United States
Publication History
Published: 01 July 1998
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Nov 2024