Works matching IS 00393215 AND DT 1995 AND VI 55 AND IP 2
Results: 5
On Ockham algebras: Congruence lattices and subdirectly irreducible algebras.
- Published in:
- Studia Logica, 1995, v. 55, n. 2, p. 319, doi. 10.1007/BF01061240
- By:
- Publication type:
- Article
Positive modal logic.
- Published in:
- Studia Logica, 1995, v. 55, n. 2, p. 301, doi. 10.1007/BF01061239
- By:
- Publication type:
- Article
Abstract modal logics.
- Published in:
- Studia Logica, 1995, v. 55, n. 2, p. 273, doi. 10.1007/BF01061238
- By:
- Publication type:
- Article
Undefinability of propositional quantifiers in the modal system S4.
- Published in:
- Studia Logica, 1995, v. 55, n. 2, p. 259, doi. 10.1007/BF01061237
- By:
- Publication type:
- Article
Internal approach to external sets and universes.
- Published in:
- Studia Logica, 1995, v. 55, n. 2, p. 229, doi. 10.1007/BF01061236
- By:
- Publication type:
- Article