X-Logic MetaModel no.2
Overview
Introduction
Abstract Syntax
Semantics
Proof Rules
Soundness, Monotonicity and Safety