Parchments for CafeOBJ Logics.

Till Mossakowski Wieslaw Pawlowski Donald Sannella Andrzej Tarlecki

Published in: Specification, Algebra, and Software (2014)

Keyphrases

expressive power
modal logic
inference rules
propositional calculus
metadata
conditional logic
natural language
first order logic
belief revision
decision procedures
nonmonotonic logics
proof theory
propositional dynamic logic