Two-layer Modal Logics: Formalism and Applications

Kategorie a štítky

  • Abstrakt