Free choice permission, legitimization and relating semantics.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 574, doi. 10.1093/jigpal/jzac047
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2023 AND VI 31 AND IP 3
Results: 8
1
2
On intermediate justification logics.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 534, doi. 10.1093/jigpal/jzac049
- By:
- Publication type:
- Article
3
A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 475, doi. 10.1093/jigpal/jzac045
- By:
- Publication type:
- Article
4
Finite axiomatizability of logics of distributive lattices with negation.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 510, doi. 10.1093/jigpal/jzac043
- By:
- Publication type:
- Article
5
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 483, doi. 10.1093/jigpal/jzac044
- By:
- Publication type:
- Article
6
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 441, doi. 10.1093/jigpal/jzac041
- By:
- Publication type:
- Article
7
Unification types in Euclidean modal logics.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 422, doi. 10.1093/jigpal/jzab036
- By:
- Publication type:
- Article
8
Jónsson-style canonicity in distributive modal µ-calculus.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 401, doi. 10.1093/jigpal/jzab032
- By:
- Publication type:
- Article