On binary computation structures

Mathematical Logic Quarterly

Volumn 43, Issue 2, 1997, Pages 203-215

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Binary computation trees; Modal logic; Reasoning about knowledge

Indexed keywords

EID: 0031502395     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.19970430205     Document Type: Article

References (9)

1. DABROWSKI, A., L. S. Moss, and R. PARIKH, Topological reasoning and the logic of knowledge. Ann. Pure Appl. Logic 78 (1996), 73-110.
2. GEORGATOS, K., Knowledge theoretic properties of topological spaces. In: Proc. Knowledge Representation and Reasoning Under Uncertainty (M. MASUCH and L. PÓLOS, eds.), Lecture Notes in Computer Science 808, Springer-Verlag, Berlin-Heidelberg-New York 1994, pp. 147-159.
3. GEORGATOS, K., Reasoning about knowledge on computation trees. In: Proc. Logics in Artificial Intelligence (JELIA'94) (C. MACNISH, D. PEARCE, and L. M. PEREIRA, eds.) Lecture Notes in Computer Science 838, Springer-Verlag, Berlin-Heidelberg-New York 1994, pp. 300-315.
4. GOLDBLATT, R., Logics of Time and Computation. CSLI, Stanford 1987.
5. HEINEMANN, B., Topological modal logic of subset frames with finite descent. In: Proc. 4th Intern. Symp. Artificial Intelligence and Mathematics (AI&MATH'96), pp. 83-86.
6. HEINEMANN, B., Topological Nexttime Logic. Submitted.
7. KRAUS, S., and D. LEHMANN, Knowledge, belief and time. Theoret. Comput. Sci. 58 (1988), 155-174.
8. Moss, L. S., and R. PARIKH, Topological reasoning and the logic of knowledge. In: Proc. 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK 1992) (Y. MOSES, ed.), Morgan Kaufmann, Los Altos CA, 1992, pp. 95-105.
9. WEIHRAUCH, K., A simple introduction to computable analysis. Technical Report No. 171, Fachbereich Informatik, FernUniversität Hagen (1995).