Loading [MathJax]/jax/input/TeX/config.js

Satisfiability of modal inclusion logic: Lax and strict semantics

Research output: Contribution to journal › Article › Research › peer review

Authors

Research Organisations

External Research Organisations

  • Tampere University
Plum Print visual indicator of research metrics
  • Citations
    • Citation Indexes: 4
see details
1 - 1 out of 1Page size: 20
Sort by: Start date
Order:

Projects

  1. Nonclassical logics: parametrised and enumeration complexity

    Meier, A. (Principal Investigator), Mahmood, Y. (Project staff) & Schindler, I. (Project staff)

    1 Oct 2013 → 31 Jul 2022

    Project: Research