BH-CIFOL: Case-Intensional First Order Logic.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 835, doi. 10.1007/s10992-013-9292-4
- By:
- Publication type:
- Article
Works matching IS 00223611 AND DT 2014 AND VI 43 AND IP 5
Results: 10
1
2
The One-Variable Fragment of T.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 867, doi. 10.1007/s10992-013-9293-3
- By:
- Publication type:
- Article
3
Fregean Quantification Theory.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 879, doi. 10.1007/s10992-013-9299-x
- By:
- Publication type:
- Article
4
The Intensional Many - Conservativity Reclaimed.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 883, doi. 10.1007/s10992-013-9301-7
- By:
- Publication type:
- Article
5
Preferential Semantics using Non-smooth Preference Relations.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 903, doi. 10.1007/s10992-013-9302-6
- By:
- Publication type:
- Article
6
Models and Logical Consequence.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 943, doi. 10.1007/s10992-013-9303-5
- By:
- Publication type:
- Article
7
Be Nice! How Simple Imperatives Simplify Imperative Logic.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 965, doi. 10.1007/s10992-013-9304-4
- By:
- Publication type:
- Article
8
Against Hypothetical Syllogism.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 979, doi. 10.1007/s10992-013-9305-3
- By:
- Publication type:
- Article
9
Rosser-Type Undecidable Sentences Based on Yablo's Paradox.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 999, doi. 10.1007/s10992-013-9309-z
- By:
- Publication type:
- Article
10
Yablifying the Rosser Sentence.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 827, doi. 10.1007/s10992-013-9291-5
- By:
- Publication type:
- Article