Rules of Existential Quantification into "Intensional Contexts".
- Published in:
- Studia Logica, 1997, v. 59, n. 3, p. 331, doi. 10.1023/A:1005032311459
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1997 AND VI 59 AND IP 3
Results: 7
1
2
Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours.
- Published in:
- Studia Logica, 1997, v. 59, n. 3, p. 397, doi. 10.1023/A:1005040513277
- By:
- Publication type:
- Article
3
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.
- Published in:
- Studia Logica, 1997, v. 59, n. 3, p. 387, doi. 10.1023/A:1005088429206
- By:
- Publication type:
- Article
4
On the Algebraizability of Annotated Logics.
- Published in:
- Studia Logica, 1997, v. 59, n. 3, p. 359, doi. 10.1023/A:1005036412368
- By:
- Publication type:
- Article
5
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable.
- Published in:
- Studia Logica, 1997, v. 59, n. 3, p. 345, doi. 10.1023/A:1005084328298
- By:
- Publication type:
- Article
6
Lambda Calculus and Intuitionistic Linear Logic.
- Published in:
- Studia Logica, 1997, v. 59, n. 3, p. 417, doi. 10.1023/A:1005092630115
- By:
- Publication type:
- Article
7
Cut-Free Tableau Calculi for some Intuitionistic Modal Logics.
- Published in:
- Studia Logica, 1997, v. 59, n. 3, p. 303, doi. 10.1023/A:1005072627389
- By:
- Publication type:
- Article