Inter-Definability of Horn Contraction and Horn Revision.
- Published in:
- Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 299, doi. 10.1007/s10992-016-9401-2
- By:
- Publication type:
- Article
Works matching IS 00223611 AND DT 2017 AND VI 46 AND IP 3
Results: 5
1
2
Cut-Elimination for Quantified Conditional Logic.
- Published in:
- Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 333, doi. 10.1007/s10992-016-9403-0
- By:
- Publication type:
- Article
3
Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).
- Published in:
- Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 233, doi. 10.1007/s10992-016-9421-y
- By:
- Publication type:
- Article
4
On A New Semantics for First-Order Predicate Logic.
- Published in:
- Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 259, doi. 10.1007/s10992-017-9429-y
- By:
- Publication type:
- Article
5
Interpersonal Sameness of Meaning for Inferential Role Semantics.
- Published in:
- Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 269, doi. 10.1007/s10992-016-9400-3
- By:
- Publication type:
- Article