FIRST-ORDER FREGE THEORY IS UNDECIDABLE.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 6, p. 613, doi. 10.1023/A:1013362627445
- By:
- Publication type:
- Article
Works matching IS 00223611 AND DT 2001 AND VI 30 AND IP 6
Results: 5
1
2
SOME THOUGHTS ABOUT THE HARDEST LOGIC PUZZLE EVER.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 6, p. 609, doi. 10.1023/A:1013344220298
- By:
- Publication type:
- Article
3
CAN DEFLATIONISTS BE DIALETHEISTS?
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 6, p. 593, doi. 10.1023/A:1013306202546
- By:
- Publication type:
- Article
4
FIRST-ORDER EXPRESSIVITY FOR S5-MODELS: MODAL VS. TWO-SORTED LANGUAGES.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 6, p. 571, doi. 10.1023/A:1013360121031
- By:
- Publication type:
- Article
5
INFINITARY BELIEF REVISION.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 6, p. 525, doi. 10.1023/A:1013356315540
- By:
- Publication type:
- Article