Revisiting separation: Algorithms and complexity.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 3, p. 251, doi. 10.1093/jigpal/jzz081
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2021 AND VI 29 AND IP 3
Results: 7
1
2
Boolean negation and non-conservativity III: the Ackermann constant.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 3, p. 370, doi. 10.1093/jigpal/jzaa021
- By:
- Publication type:
- Article
3
Boolean negation and non-conservativity II: The variable-sharing property.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 3, p. 363, doi. 10.1093/jigpal/jzaa020
- By:
- Publication type:
- Article
4
Boolean negation and non-conservativity I: Relevant modal logics.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 3, p. 340, doi. 10.1093/jigpal/jzaa019
- By:
- Publication type:
- Article
5
26th Workshop on Logic, Language, Information and Computation(WoLLIC 2019).
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 3, p. 385, doi. 10.1093/jigpal/jzaa004
- Publication type:
- Article
6
A note on the system GRW with the intensional contraction rule.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 3, p. 333, doi. 10.1093/jigpal/jzaa002
- By:
- Publication type:
- Article
7
Time-stamped claim logic.
- Published in:
- Logic Journal of the IGPL, 2021, v. 29, n. 3, p. 303, doi. 10.1093/jigpal/jzaa001
- By:
- Publication type:
- Article