Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5.
- Published in:
- Journal of Philosophical Logic, 2006, v. 35, n. 5, p. 435, doi. 10.1007/s10992-005-9023-6
- By:
- Publication type:
- Article
Works matching IS 00223611 AND DT 2006 AND VI 35 AND IP 5
Results: 3
1
2
New Foundations for a Relational Theory of Theory-revision.
- Published in:
- Journal of Philosophical Logic, 2006, v. 35, n. 5, p. 489, doi. 10.1007/s10992-006-9027-x
- By:
- Publication type:
- Article
3
A Note on Priest's Finite Inconsistent Arithmetics.
- Published in:
- Journal of Philosophical Logic, 2006, v. 35, n. 5, p. 529, doi. 10.1007/s10992-006-9031-1
- By:
- Publication type:
- Article