DECIDABILITY OF INDEPENDENCE-FRIENDLY MODAL LOGIC MERLIJN SEVENSTER.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 3, p. 415, doi. 10.1017/S1755020310000146
- By:
- Publication type:
- Article
Works matching IS 17550203 AND DT 2010 AND VI 3 AND IP 3
Results: 6
1
2
POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION MEHRNOOSH SADRZADEH.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 3, p. 351, doi. 10.1017/S1755020310000134
- By:
- Publication type:
- Article
3
PARACONSISTENT LOGICS INCLUDED IN LEWIS' S4 GEMMA ROBLES.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 3, p. 442, doi. 10.1017/S1755020310000109
- By:
- Publication type:
- Article
4
LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS LOES OLDE LOOHUIS.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 3, p. 485, doi. 10.1017/S1755020310000079
- By:
- Publication type:
- Article
5
SUPER LIARS PHILIPPE SCHLENKER.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 3, p. 374, doi. 10.1017/S1755020310000067
- By:
- Publication type:
- Article
6
RAMSEY'S TEST, ADAMS' THESIS, AND LEFT-NESTED CONDITIONALS.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 3, p. 467, doi. 10.1017/S1755020310000055
- By:
- Publication type:
- Article