Remarks on uniform interpolation property.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 5, p. 810, doi. 10.1093/jigpal/jzad009
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2024 AND VI 32 AND IP 5
Results: 8
1
2
Correction to: Decidability of interpretability logics ILM<sub>0</sub> and ILW<sup>*</sup>.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
3
On the relationships between some meta-mathematical properties of arithmetical theories.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 5, p. 880, doi. 10.1093/jigpal/jzad015
- By:
- Publication type:
- Article
4
Report on the exact methods for finding minimum-sized DFA.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 5, p. 909, doi. 10.1093/jigpal/jzad014
- By:
- Publication type:
- Article
5
Logical reduction of relations: From relational databases to Peirce's reduction thesis.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 5, p. 779, doi. 10.1093/jigpal/jzad010
- By:
- Publication type:
- Article
6
Contact semilattices.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 5, p. 815, doi. 10.1093/jigpal/jzad012
- By:
- Publication type:
- Article
7
A probabilistic temporal epistemic logic: Decidability.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 5, p. 827, doi. 10.1093/jigpal/jzac080
- By:
- Publication type:
- Article
8
Correspondence and canonicity theory of quasi-inequalities and Π<sub>2</sub>-statements in modal subordination algebras.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 5, p. 729, doi. 10.1093/jigpal/jzad003
- By:
- Publication type:
- Article