Modal Companions of K4+.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1327, doi. 10.1007/s11225-022-10001-w
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2022 AND VI 110 AND IP 5
Results: 8
1
2
Two Maximality Results for the Lattice of Extensions of ⊢RM.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1243, doi. 10.1007/s11225-022-10000-x
- By:
- Publication type:
- Article
3
Splittings in Subreducts of Hoops.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1155, doi. 10.1007/s11225-022-09997-y
- By:
- Publication type:
- Article
4
Contact Join-semilattices.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1219, doi. 10.1007/s11225-022-09994-1
- By:
- Publication type:
- Article
5
On Groupoids of Relations with One Conjunctive Operation of Rank 2.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1137, doi. 10.1007/s11225-022-09993-2
- By:
- Publication type:
- Article
6
On Independent Axiomatizability of Quasi-Normal Modal Logics.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1189, doi. 10.1007/s11225-022-09992-3
- By:
- Publication type:
- Article
7
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1291, doi. 10.1007/s11225-022-10004-7
- By:
- Publication type:
- Article
8
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.
- Published in:
- Studia Logica, 2022, v. 110, n. 5, p. 1255, doi. 10.1007/s11225-022-10003-8
- By:
- Publication type:
- Article