Complexity of the interpretability logics ILW and ILP.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 194, doi. 10.1093/jigpal/jzac042
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2023 AND VI 31 AND IP 1
Results: 9
1
2
Logic of informal provability with truth values.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 172, doi. 10.1093/jigpal/jzab035
- By:
- Publication type:
- Article
3
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 140, doi. 10.1093/jigpal/jzab034
- By:
- Publication type:
- Article
4
Remarks about the unification types of some locally tabular normal modal logics.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 115, doi. 10.1093/jigpal/jzab033
- By:
- Publication type:
- Article
5
The relevance logic of Boolean groups.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 96, doi. 10.1093/jigpal/jzab031
- By:
- Publication type:
- Article
6
On weak filters and ultrafilters: Set theory from (and for) knowledge representation.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 68, doi. 10.1093/jigpal/jzab030
- By:
- Publication type:
- Article
7
Algorithmic correspondence for hybrid logic with binder.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 39, doi. 10.1093/jigpal/jzab029
- By:
- Publication type:
- Article
8
Linear temporal justification logics with past and future time modalities.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 1, doi. 10.1093/jigpal/jzab027
- By:
- Publication type:
- Article
9
Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?".
- Published in:
- 2023
- By:
- Publication type:
- Correction Notice