Labelled proof systems for existential reasoning.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 173, doi. 10.1093/jigpal/jzad030
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2025 AND VI 33 AND IP 1
Results: 9
1
2
The use of logic and argumentation in therapy of sex offenders.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 1, doi. 10.1093/jigpal/jzad022
- By:
- Publication type:
- Article
3
Constructive theories through a modal lens.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 149, doi. 10.1093/jigpal/jzad029
- By:
- Publication type:
- Article
4
Knowledge and ignorance in Belnap–Dunn logic.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 125, doi. 10.1093/jigpal/jzad027
- By:
- Publication type:
- Article
5
Modal expansions of ririgs.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 74, doi. 10.1093/jigpal/jzad025
- By:
- Publication type:
- Article
6
Algebraic structures formalizing the logic with unsharp implication and negation.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 36, doi. 10.1093/jigpal/jzad023
- By:
- Publication type:
- Article
7
Undecidability of admissibility in the product of two Alt logics.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 62, doi. 10.1093/jigpal/jzad021
- By:
- Publication type:
- Article
8
On the number of different variables required to define the n-density or the bounded n-width of Kripke frames with some consequences for Sahlqvist formulae.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 95, doi. 10.1093/jigpal/jzad026
- By:
- Publication type:
- Article
9
Constructive aspects of Riemann's permutation theorem for series.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 49, doi. 10.1093/jigpal/jzad024
- By:
- Publication type:
- Article