7 results
Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 06 December 2021, pp. 813-861
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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 CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 24 October 2018, pp. 805-820
- Print publication:
- December 2018
-
- Article
- Export citation
Nino B. Cocchiarella and Max A. Freund. Modal logic. An introduction to its syntax and semantics. Oxford University Press, Oxford, 2008, xi + 268 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 275-276
- Print publication:
- June 2010
-
- Article
- Export citation
SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 09 July 2009, pp. 374-395
- Print publication:
- June 2009
-
- Article
- Export citation
Correction to ‘Displaying the modal logic of consistency’
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 12 March 2014, p. 712
- Print publication:
- June 2003
-
- Article
- Export citation
Displaying the modal logic of consistency
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1573-1590
- Print publication:
- December 1999
-
- Article
- Export citation