Named models in coalgebraic hybrid logic
Schroder, Lutz; Pattinson, Dirk
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given functo
|Collections||ANU Research Publications|
|Source:||Leibniz International Proceedings in Informatics, LIPIcs|
|01_Schroder_Named_models_in_coalgebraic_2010.pdf||166.73 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator