Likak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko
The recently introduced Coalgebraic Predicate Logic (CPL) provides a general first-order syntax together with extra modal-like operators that are interpreted in a coalgebraic setting. The universality of the coalgebraic approach allows us to instantiate the framework to a wide variety of situations, including probabilistic logic, coalition logic or the logic of neighbourhood frames. The last case generalises a logical setup proposed by C.C. Chang in early 1970's. We provide further evidence of...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.