3 results
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 11 June 2021, pp. 635-668
- Print publication:
- June 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SYMMETRIES IN MODAL LOGICS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 373-401
- Print publication:
- December 2015
-
- Article
- Export citation
Logic programming for finding models in the logics of knowledge and its applications: A case study
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 675-690
-
- Article
- Export citation