AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

A finite model construction for coalgebraic modal logic

The Journal of Logic and Algebraic Programming, no. 1-2 (2007): 97-110

Cited by: 78|Views3
EI

Abstract

Abstract. In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove that (finitary) coalgebraic modal,logic has the finite model property. This fact not only reproves known completeness results for coalgebraic modal logic,...More

Code:

Data:

Your rating :
0

 

Tags
Comments
小科