Papers

Topics

Authors

Recent

View all

Gemini 2.5 Flash

Gemini 2.5 Flash

123 tokens/sec

GPT-4o

10 tokens/sec

Gemini 2.5 Pro Pro

42 tokens/sec

o3 Pro

5 tokens/sec

GPT-4.1 Pro

3 tokens/sec

DeepSeek R1 via Azure Pro

51 tokens/sec

2000 character limit reached

Generic Trace Logics (1103.3239v1)

Published 16 Mar 2011 in cs.LO

Abstract: We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.

Citations (14)

View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Follow-up Questions

We haven't generated follow-up questions for this paper yet.