Theory of M-system.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 836, doi. 10.1093/jigpal/jzx025
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2017 AND VI 25 AND IP 5
Results: 9
1
2
Logical information theory: new logical foundations for information theory.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 806, doi. 10.1093/jigpal/jzx022
- By:
- Publication type:
- Article
3
Modal dependence logics: axiomatizations and model-theoretic properties.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 773, doi. 10.1093/jigpal/jzx023
- By:
- Publication type:
- Article
4
Logically-consistent hypothesis testing and the hexagon of oppositions.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 741, doi. 10.1093/jigpal/jzx024
- By:
- Publication type:
- Article
5
A complete logic for Database Abstract State Machines.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 700, doi. 10.1093/jigpal/jzx021
- By:
- Publication type:
- Article
6
Extensions of Kripke models.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 697, doi. 10.1093/jigpal/jzx008
- By:
- Publication type:
- Article
7
Cut-free sequent calculi for logics characterized by finite linear Kripke frames.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 686, doi. 10.1093/jigpal/jzx007
- By:
- Publication type:
- Article
8
Decidability of interpretability logics ILM<sub>0</sub> and ILW.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 758, doi. 10.1093/jigpal/jzx027
- By:
- Publication type:
- Article
9
The free non-commutative cylindric algebras are not atomic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 673, doi. 10.1093/jigpal/jzw058
- By:
- Publication type:
- Article