Skip to main content
SpringerLink
Log in

Knowledge on Treelike Spaces

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper presents a bimodal logic for reasoning about knowledge during knowledge acquisitions. One of the modalities represents (effort during) non-deterministic time and the other represents knowledge. The semantics of this logic are tree-like spaces which are a generalization of semantics used for modeling branching time and historical necessity. A finite system of axiom schemes is shown to be canonically complete for the formentioned spaces. A characterization of the satisfaction relation implies the small model property and decidability for this system.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Chandy, M., and J. Misra, 1986, ‘How processes learn’, Distributed Computing 1, 40–52

    Google Scholar 

  2. Chellas, B. F., 1980, Modal Logic: An Introduction, Cambridge University Press, Cambridge.

    Google Scholar 

  3. Dabrowski, A., L. Moss, and R. Parikh, 1996, ‘Topological reasoning and the logic of knowledge’, Annals of Pure and Applied Logic 78, 73–110

    Article  Google Scholar 

  4. Fischer Servi, G., 1980, ‘Semantics for a class of intuitionistic modal calculi’, In M. L. Dalla Chiara, editor, Italian Studies in the Philosophy of Science, 59–72, D. Reidel

  5. Fischer Servi, G., 1984, ‘Axiomatizations for some intuitionistic modal logics’, Rend. Sem. Mat. Univers. Politecn. Torino 42, 179–194

    Google Scholar 

  6. Fitting, M. C., 1993, ‘Basic modal logic’, In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intellingence and Logic Programming, volume 1. Oxford University Press.

  7. Gadamer, H. G., 1975, Truth and Method, Continuum, New York.

    Google Scholar 

  8. Georgatos, K., 1993, ‘Modal logics for topological spaces’, Ph.D. Dissertation. Ph.D. Program in Mathematics, City University of New York.

  9. Georgatos, K., 1994, ‘Knowledge theoretic properties of topological spaces’, In M. Masuch and L. Pólos, editors, Knowledge Representation and Uncertainty, number 808 in Lecture Notes in Computer Science, 147–159, Springer-Verlag, Berlin, New York.

    Google Scholar 

  10. Georgatos, K., 1994, ‘Reasoning about knowledge on computation trees’, In C. MacNish, D. Pearce, and L. M. Pereira, editors, Logics in Artificial Intelligence (JELIA '94), number 838 in Lecture Notes in Computer Science, 300–315, Berlin, Springer-Verlag.

    Google Scholar 

  11. GIERZ, G., K. H. HOFFMAN, K. KEIMEL, J. D. LAWSON, M. W. MISLOVE, and D. S. SCOTT, 1980, A Compendium of Continuous Lattices, Springer-Verlag, Berlin, Heidelberg.

    Google Scholar 

  12. Goldblatt, R., 1987, Logics of Time and Computation, Number 7 in CSLI Lecture Notes. CSLI, Stanford.

    Google Scholar 

  13. Halpern, J. Y., and Y. Moses, 1984, ‘Knowledge and common knowledge in a distributed environment’, In Proceedings of the Third ACM Symposium on Principles of Distributed Computing, 50–61

  14. Halpern, J. Y., and M. Y. Vardi, 1989, ‘The complexity of reasoning about knowledge and time. i. lower bounds’, Journal of Computer and System Sciences 38, 195–237

    Article  Google Scholar 

  15. Hintikka, J., 1962, Knowledge and Belief, Cornell University Press, Ithaca, New York.

    Google Scholar 

  16. Hintikka, J., 1986, ‘Reasoning about knowledge in philosophy, the paradigm of epistemic logic’, In J. Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge: Proceeding of the 1986 Conference, 63–80, Los Altos, Morgan Kaufmann.

    Google Scholar 

  17. Moss, L. S., and R. Parikh, 1992, ‘Topological reasoning and the logic of knowledge’, In Y. Moses, editor, Proceedings of the Fourth Conference (TARK 1992), 95–105

  18. Parikh, R., and R. Ramanujam, 1985, ‘Distributed computing and the logic of knowledge’, In R. Parikh, editor, Logics of Programs, number 193 in Lecture Notes in Computer Science, 256–268, Berlin, New York, Springer-

    Google Scholar 

  19. Prior, A., 1967, Past, Present and Future, Oxford University Press, London.

    Google Scholar 

  20. Smyth, M. B., 1983, ‘Powerdomains and predicate transformers: a topological view’, In J. Diaz, editor, Automata, Languages and Programming, number 154 in Lecture Notes in Computer Science, 662–675, Berlin, Springer-Verlag.

    Google Scholar 

  21. Thomason, R. H., 1984, ‘Combinations of tense and modality’, In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II, 135–165, D. Reidel Publishing Company.

  22. Van Fraassen, B., 1981, ‘A temporal framework for conditionals and chance’, In W. Harper, R. Stalnaker, and G. Pearce, editors, Ifs: Conditionals, Belief, Decision, Chance, and Time, 323–340, D. Reidel, Dordrecht

    Google Scholar 

  23. Vickers, S., 1989, Topology via Logic, Cambridge Studies in Advanced Computer Science, Cambridge University Press, Cambridge.

    Google Scholar 

  24. Zanardo, A., 1985, ‘A finite axiomatization of the set of strongly valid ockhamist formulas’, Journal of Philosophical Logic 14, 447–468.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, I-0019, Roma, Italy

    Konstantinos Georgatos

Authors
  1. Konstantinos Georgatos
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Georgatos, K. Knowledge on Treelike Spaces. Studia Logica 59, 271–301 (1997). https://doi.org/10.1023/A:1004908502255

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004908502255

Search

Navigation