A Coalgebraic Foundation for Linear Time Semantics.

John Power Daniele Turi

Published in: CTCS (1999)

Keyphrases

logic programming
semantic information
formal semantics
machine learning
worst case
model theoretic
proof theory
argumentation semantics
intended meaning