A modal proof theory for final polynomial coalgebras.

David Friggens Robert Goldblatt

Published in: Theor. Comput. Sci. (2006)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
modal logic
nonmonotonic reasoning
reasoning problems
decision making
programming language
formal semantics