A topological generalization of propositional linear time temporal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1295, Issue , 1997, Pages 289-297

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; TOPOLOGY;

AXIOMATIZATION; LINEAR TIME TEMPORAL LOGIC; LINEAR-TIME PROPERTIES; LOGICAL LANGUAGE; LOWER COMPLEXITY; SATISFIABILITY PROBLEMS;

TEMPORAL LOGIC;

EID: 84947813867     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0029972     Document Type: Conference Paper

References (12)

1. Chellas, B. F. 1980. Modal Logic: An Introduction. Cambridge: Cambridge University Press.
2. Clarke, E. M., and A. P. Sistla. 1985. The Complexity of Propositional Linear Temporal Logics. Journal of the A CM 32:733-749.
3. Dabrowski, A., L. S. Moss, and R. Parikh. 1996. Topological Reasoning and The Logic of Knowledge. Ann. Pure Appl. Logic 78:73-110.
4. Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi. 1995. Reasoning about Knowledge. Cambridge(Mass.): MIT Press.
5. Gabbay, D. M., I. Hodkinson, and M. Reynolds. 1994. Temporal Logic-Mathematical Foundations and Computational Aspects. Oxford: Clarendon Press.
6. Georgatos, K. 1994. Knowledge Theoretic Properties of Topological Spaces. In Knowledge Representation and Uncertainty, ed. M, Masuch and L. Polos, 147-159. Springer. LNCS 808.
7. Georgatos, K. 1994. Reasoning about Knowledge on Computation Trees. In Proc. Logics in Artificial Intelligence (JELIA’94), ed. C. MacNish, D. Pearce, and L. M. Pereira, 300-315. Springer. LNCS 838.
8. Goldblatt, R. 1987. Logics of Time and Computation. CSLI Lecture Notes Number 7. Stanford: Center for the Study of Language and Information.
9. Heinemann, B. 1996. ‘Topological’ Modal Logic of Subset Frames with Finite Descent. In Proc. 4th Intern. Symp. on Artificial and Mathematics, AI/MATH-96, 83-86. Fort Lauderdale.
10. Heinemann, B. 1997. Topological Nexttime Logic. In Proc. Advances in Modal Logic, AiML 96. Kluwer series, to appear 1997.
11. Manna, Z., and A. Pnueli. 1992. The Temporal Logic of Reactive and Concurrent Systems. New York: Springer.
12. Moss, L. S., and R. Parikh. 1992. Topological Reasoning and The Logic of Knowledge. In Proc. 4th Conf. on Theoretical Aspects of Reasoning about Knowledge (TARK 1992), ed. Y. Moses, 95-105. Morgan Kaufmann.