Unary Interpretability Logics for Sublogics of the Interpretability Logic IL.
- Published in:
- Studia Logica, 2024, v. 112, n. 3, p. 693, doi. 10.1007/s11225-023-10068-z
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2024 AND VI 112 AND IP 3
Results: 7
1
2
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.
- Published in:
- Studia Logica, 2024, v. 112, n. 3, p. 561, doi. 10.1007/s11225-023-10062-5
- By:
- Publication type:
- Article
3
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences.
- Published in:
- Studia Logica, 2024, v. 112, n. 3, p. 723, doi. 10.1007/s11225-023-10070-5
- By:
- Publication type:
- Article
4
Intuitionistic Modal Algebras.
- Published in:
- Studia Logica, 2024, v. 112, n. 3, p. 611, doi. 10.1007/s11225-023-10065-2
- By:
- Publication type:
- Article
5
Intuitionistic Public Announcement Logic with Distributed Knowledge.
- Published in:
- Studia Logica, 2024, v. 112, n. 3, p. 661, doi. 10.1007/s11225-023-10066-1
- By:
- Publication type:
- Article
6
BringsItAboutThat Operators Decomposed with Relating Semantics.
- Published in:
- Studia Logica, 2024, v. 112, n. 3, p. 541, doi. 10.1007/s11225-022-10030-5
- By:
- Publication type:
- Article
7
Decidability of Lattice Equations.
- Published in:
- Studia Logica, 2024, v. 112, n. 3, p. 607, doi. 10.1007/s11225-023-10063-4
- By:
- Publication type:
- Article