Citations of work:

Konstantinos Georgatos (1997). Knowledge on Treelike Spaces.

Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  1
    Announcement as Effort on Topological Spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - forthcoming - Synthese:1-43.
    We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove soundness and (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  8
    A Quick Guided Tour to the Modal Logic S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2018 - Logic Journal of the IGPL 26 (4):429-451.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  27
    A Hybrid Logic for Reasoning About Knowledge and Topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
    We extend Moss and Parikh’s bi-modal system for knowledge and effort by means of hybrid logic. In this way, some additional concepts from topology related to knowledge can be captured. We prove the soundness and completeness as well as the decidability of the extended system. Special emphasis will be placed on algebras.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations