Switch to: References

Add citations

You must login to add citations.
  1. Using Hybrid Logic for Coping with Functions in Subset Spaces.Bernhard Heinemann - 2010 - Studia Logica 94 (1):23-45.
    We extend Moss and Parikh’s modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done with the aid of some basic concepts from hybrid logic. We prove the soundness and completeness of the derived logics with regard to the class of all correspondingly enriched subset spaces, and show that these logics are decidable.
    Download  
     
    Export citation  
     
    Bookmark   2 citations