Flat Coalgebraic Fixed Point Logics

Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the

• Type: Conference
• Year: 2010
• Where: CONCUR
• Authors: Lutz Schröder, Yde Venema
• Keywords: CONCUR 2010, Distributed And Parallel Computing, Expressive Logics, Fixed Point Logics, Popular Fixed Point