Knowledge on treelike spaces

Studia Logica 59 (2):271-301 (1997)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Cellular spaces.Wolfgang Merzenich - 1980 - Theoretical Medicine and Bioethics 1 (1):51-65.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Semantics in Banach spaces.Sławomir Bugajski - 1983 - Studia Logica 42 (1):81 - 88.
A physicalist reinterpretion of 'phenomenal' spaces.Lieven Decock - 2006 - Phenomenology and the Cognitive Sciences 5 (2):197-225.

Analytics

Added to PP
2009-01-28

Downloads
113 (#144,672)

6 months
5 (#244,107)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Konstantinos Georgatos
City University of New York

Citations of this work

A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
Topological Modal Logics Satisfying Finite Chain Conditions.Bernhard Heinemann - 1998 - Notre Dame Journal of Formal Logic 39 (3):406-421.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
Truth and Method.H. G. Gadamer - 1975 - Journal of Aesthetics and Art Criticism 36 (4):487-490.
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
Topology via Logic.P. T. Johnstone & Steven Vickers - 1991 - Journal of Symbolic Logic 56 (3):1101.

View all 10 references / Add more references