Login / Signup
Combining and representing logical systems using model-theoretic parchments.
Till Mossakowski
Andrzej Tarlecki
Wieslaw Pawlowski
Published in:
WADT (1997)
Keyphrases
</>
model theoretic
operational semantics
formal semantics
general purpose
description logics
proof theoretic