Linear-time Logics -- a Coalgebraic Perspective
LOGICAL METHODS IN COMPUTER SCIENCE（2024）
Key words
coalgebra,fixpoint logic,quantitative logic,linear -time logic.
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined