Login / Signup

Combining and representing logical systems using model-theoretic parchments.

Till MossakowskiAndrzej TarleckiWieslaw Pawlowski
Published in: WADT (1997)
Keyphrases
  • model theoretic
  • operational semantics
  • formal semantics
  • general purpose
  • description logics
  • proof theoretic