2 results
PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 17 June 2019, pp. 720-747
- Print publication:
- December 2020
-
- Article
- Export citation
On the decidability of implicational ticket entailment
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-236
- Print publication:
- March 2013
-
- Article
- Export citation