Named models in coalgebraic hybrid logic
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.