Logics of polyhedral reachability. Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, David Fernandez Duque. Accepted at AiML 2024.
The Goldblatt-Thomason theorem for derivative spaces. Nick Bezhanishvili, David Fernandez Duque, Reihane Zoghifard. Accepted at AiML 2024.
Coalgebraic semantics for intuitionistic modal logic. Nick Bezhanishvili and Rodrigo Almeida Accepted at AiML 2024.
Weak simplicial bisimilarity for polyhedral models and SLCS_eta. Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink. Accepted at FORTE 2024 Received the Best Paper Award.
A calculus for modal compact Hausdorff spaces. Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Zhiguang Zhao. Submitted, January 2024.
On Shehtman's two problems. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. Submitted, August 2023.
The intermediate logic of convex polyhedra. Sam Adam-Day, Nick Bezhanishvili, David Gabalaia, Vincenzo Marra. Submitted, July 2023.
Degrees of the finite model property: The antidichotomy theorem. Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini. Submitted, July 2023.
Translational embeddings via stable canonical rules. Nick Bezhanishvili and Antonio M. Cleani. Submitted, June 2022.
64. Bi-intermediate logics of trees and co-trees. Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini. Annals of Pure and Applied Logic, 175 (10), Article 103490, 2024.
63. Positive modal logic beyond distributivity. Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini. Annals of Pure and Applied Logic, 175 (2), Article 103374, 2024.
62. Polyhedral completeness of intermediate logics: The nerve criterion. Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra. The Journal of Symbolic Logic, 89 (1), 342-382, 2024
61. Modal structures in groups and vector spaces. Johan van Benthem and Nick Bezhanishvili. Journal of Logic and Computation, 34(1): 75-124, 2024. (In this version of the paper we fixed some typos which appeared in the published version. In this file Appendix we overview these changes and discuss some of the follow-up questions.)
60. The topological mu-calculus: completeness and decidability. Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque. Journal of the ACM, 70(5): 33:1-33:38, 2023.
59. Hereditarily structurally complete intermediate logics: Citkin's theorem via duality. Nick Bezhanishvili and Tommaso Moraschini. Studia Logica, 111(2): pp. 147-186, 2023.
58. Admissibility of Π2-inference rules: Interpolation, model completion, and contact algebras. Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi. Annals of Pure and Applied Logic, 174 (1), Article 103169, 2023.
57. An algebraic approach to inquisitive and DNA-logics. Nick Bezhanishvili, Gianluca Grilletti, Davide Quadrellaro. The Review of Symbolic Logic, 15(4), pp. 950-990, 2022.
56. Justified belief, knowledge, and the topology of evidence. Alexandru Baltag, Nick Bezhanishvili, Aybuke Ozgun, Sonja Smets. Synthese, 200, Article number 512, 2022.
55. Coalgebraic geometric logic: Basic theory. Nick Bezhanishvili, Jim de Groot, Yde Venema. Logical Methods in Computer Science, 18 (4), 2022.
54. Geometric model checking of continuous space. Nick Bezhanishvili,Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink. Logical Methods in Computer Science, 18 (4), 2022.
53. A coalgebraic approach to dualities for neighborhood frames. Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot. Logical Methods in Computer Science, 18 (3), 2022.
52. Characterizing existence of a measurable cardinal via modal logic. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. The Journal of Symbolic Logic, 86(1): pp. 162-177, 2021.
51. Profiniteness and representability of spectra of Heyting algebras. Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini, Michal Stronkowski. Advances in Mathematics, 391, paper number 107959, 2021. Received The Italian Logic Association's Ada Lettieri Best Paper Award.
50. The McKinsey-Tarski theorem for locally compact ordered spaces. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. The Bulletin of Symbolic Logic, 27 (2), pp. 187-211, 2021.
49. Tree-like constructions in topology and modal logic. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. Archive for Mathematical Logic, 60(3-4): pp. 265-299, 2021.
48. Diego's theorem for nuclear implicative semilattices. Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze. Indagationes Mathematicae, 32 (2), pp. 498-535, 2021.
47. A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem. Nick Bezhanishvili and Tim Henke. Journal of Logic and Computation, 30 (7), pp. 1331-1355, 2020.
46. Choice-free Stone duality. Nick Bezhanishvili and Wesley H. Holliday. The Journal of Symbolic Logic, 85 (1), pp. 109-148, 2020.
45. A strict implication calculus for compact Hausdorff spaces. Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema. Annals of Pure and Applied Logic, 170 (11), Article 102714, 2019.
44. On modal logics arising from scattered locally compact Hausdorff spaces. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. Annals of Pure and Applied Logic, 170 (5), pp. 558- 577, 2019.
43. A new game equivalence, its logic and algebra. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist. Journal of Philosophical Logic, 48(4): 649-684, 2019.
42. A propositional dynamic logic for instantial neighbourhood semantics. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist. Studia Logica 107(4), pp. 719-751 2019.
41. A topological approach to full belief. Alexandru Batag, Nick Bezhanishvili, Aybuke Ozgun, Sonja Smets. Journal of Philosophical Logic 48(2), pp. 205-244, 2019.
40. Subframization and stabilization for superintuitionistic logics. Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin. Journal of Logic and Computation, 29 (1), pp. 1-35, 2019.
39. A new proof of the McKinsey-Tarski Theorem. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. Studia Logica, 106(6), pp. 1291-1311, 2018.
38. Stable modal logics. Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin. The Review of Symbolic Logic, 11(3), pp. 436-469, 2018.
37. Tarski's theorem on intuitionistic logic, for polyhedra. Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini. Annals of Pure and Applied Logic, 169 (5), pp. 373-391, 2018.
36. Tychonoff HED-spaces and Zemanian extensions of S4.3. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. The Review of Symbolic Logic, 11 (1), pp. 115-132, 2018.
35. Stable formulas in intuitionistic logic. Nick Bezhanishvili and Dick de Jongh. Notre Dame Journal of Formal Logic, 59 (3), pp. 307-324, 2018.
34. Krull dimension in modal logic. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. The Journal of Symbolic Logic, 82 (4), pp. 1356-1386, 2017.
33. One-step Heyting algebras and hypersequent calculi with the bounded proof property. Nick Bezhanishvili, Silvio Ghilardi, Frederik Lauridsen. Journal of Logic and Computation, 27 (7), pp. 2135-2169, 2017.
32. A bimodal perspective on possibility semantics. Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday. Journal of Logic and Computation, 27 (5), pp. 1353-1389, 2017.
31. Canonical formulas for k-potent commutative, integral residuated lattices. Nick Bezhanishvili, Nick Galatos, Luca Spada. Algebra Universalis, 77(3), pp. 321-343, 2017.
30. Sahlqvist preservation for topological fixed-point logic. Nick Bezhanishvili and Sumit Sourabh. Journal of Logic and Computation, 27(3), pp. 679-703, 2017.
29. Irreducible equivalence relations, Gleason spaces, and de Vries duality. Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema. Applied Categorical Structures, 25(3), pp. 381-401, 2017.
28. Instantial neighbourhood logic. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu. The Review of Symbolic Logic, 10(1), pp. 116-144, 2017.
27. Locally finite reducts of Heyting algebras and canonical formulas. Guram Bezhanishvili and Nick Bezhanishvili. Notre Dame Journal of Formal Logic, 58(1), pp. 21-44, 2017.
26. Cofinal stable logics. Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin. Studia Logica, 104(6), pp. 1287-1317, 2016
25. Admissible bases via stable canonical rules. Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze. Studia Logica, 104(2), pp. 317-341, 2016
24. Stable canonical rules. Guram Bezhanishvili, Nick Bezhanishvili and Rosalie Iemhoff. The Journal of Symbolic Logic, 81(01), pp. 284-315, 2016.
23. S4.3 and hereditarily extremally disconnected spaces. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. Georgian Mathematical Journal, 22(4), pp. 469-475, 2015.
22. Modal operators on compact regular frames and de Vries algebras. Guram Bezhanishvili, Nick Bezhanishvili, and John Harding. Applied Categorical Structures, 23(3), pp. 365-379, 2015.
21. Modal compact Hausdorff spaces. Guram Bezhanishvili, Nick Bezhanishvili, and John Harding. Journal of Logic and Computation, 25(1), pp. 1-35, 2015.
20. The bounded proof property via step algebras and step frames. Nick Bezhanishvili and Silvio Ghilardi. Annals of Pure and Applied Logic, 165 (12), pp. 1832-1863, 2014
19. Canonical formulas for wK4. Guram Bezhanishvili and Nick Bezhanishvili. The Review of Symbolic Logic, vol.4, pp. 731-762, 2012.
18. Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Nick Bezhanishvili and Ian Hodkinson. Algebra Universalis, vol. 68, pp. 43-56, 2012.
17. Sahlqvist theorem for modal fixed point logic. Nick Bezhanishvili and Ian Hodkinson, Theoretical Computer Science, vol. 424, pp. 1-19, 2012.
16. Sahlqvist correspondence for modal mu-calculus. Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson, Studia Logica, vol. 100, pp. 31-60, 2012.
15. Extendible formulas in two variables in intuitionistic logic. Nick Bezhanishvili and Dick de Jongh, Studia Logica, vol. 100, pp. 61-89, 2012.
14. Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Nick Bezhanishvili and Mai Gehrke. Logical Methods in Computer Science, vol. (2:9), pp. 1-24, 2011.
13. An algebraic approach to canonical formulas: Modal case. Guram Bezhanishvili and Nick Bezhanishvili. Studia Logica, vol. 99, pp. 337-369, 2011.
12. Vietoris bisimulations. Nick Bezhanishvili, Gaelle Fontaine, Yde Venema. Journal of Logic and Computation, vol. 20, number 5, pp. 1017-1040, 2010.
11. Bitopological duality for distributive lattices and Heyting algebras. Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz. Mathematical Structures in Computer Science, Vol. 20, Issue 03, pp. 359-393, 2010.
10. An algebraic approach to canonical formulas: Intuitionistic case. Guram Bezhanishvili and Nick Bezhanishvili. The Review of Symbolic Logic, vol 2, number 3, pp. 517-549, 2009.
9. Profinite Heyting algebras. Guram Bezhanishvili and Nick Bezhanishvili. Order, vol. 25 (3), pp. 211-223, 2008.
8. Frame based formulas for intermediate logics. Nick Bezhanishvili. Studia Logica, vol. 90, pp. 139-159, 2008.
7. The Kuznetsov-Gerciu and Rieger-Nishimura logics: The boundaries of the finite model property. Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh. Logic and Logical Philosophy, vol. 17, pp. 73-110, 2008.
6. Transfer results for hybrid logic Part I: the case without the satisfaction operators. Nick Bezhanishvili and Balder ten Cate. Journal of Logic and Computation, 16, pp. 177-197, 2006.
5. All normal extensions of S5-squared are finitely axiomatizable. Nick Bezhanishvili and Ian Hodkinson. Studia Logica, vol. 78, pp. 443-457, 2004.
4. Varieties of two dimensional cylindric algebras. Part II. Nick Bezhanishvili. Algebra Universalis, vol. 51, pp. 177-206, 2004.
3. All proper normal extensions of S5-square have the polynomial size model property. Nick Bezhanishvili and Maarten Marx. Studia Logica, vol. 73, pp. 367-382, 2003.
2. Varieties of two dimensional cylindric algebras Part I: Diagonal-free case. Nick Bezhanishvili. Algebra Universalis, vol. 48, pp. 11-42, 2002.
1. Pseudomonadic algebras as algebraic models of doxastic modal logic. Nick Bezhanishvili. Mathematical Logic Quarterly, vol. 48, issue 4, pp. 624-636, 2002.
25. The topology of surprise. Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque. KR 2022. Received The Ray Ritter Best Paper Award.
24. The topological mu-calculus: completeness and decidability. Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque. pp. 1-13, LICS 2021.
23. Topological evidence logics: multi-agent setting. Alexandru Baltag, Nick Bezhanishvili, Saul Fernandez-Gonzalez. To appear in the Post-Proceedings of TbiLLC 2019.
22. Model completeness and Π2-rules: the case of contact algebras. Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi. To appear in the Proceedings of AiML 2020.
21. Duality for instantial neighbourhood logic via coalgebra. Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot. Proceedings of CMCS, pp. 32-54, 2020.
20. Coalgebraic geometric logic. Nick Bezhanishvili, Jim de Groot, Yde Venema. CALCO 2019, pp. 7:1-7:18, 2019.
19. Algebraic and topological semantics for inquisitive logic via choice-free duality. Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday. WoLLIC 2019, pp. 35-52, 2019.
18. The McKinsey-Tarski theorem for topological evidence logics. Alexandru Baltag, Nick Bezhanishvili, Saul Fernandez-Gonzalez. WoLLIC 2019, pp. 177-194, 2019.
17. A study of subminimal logics of negation and their modal companions. Nick Bezhanishvili, Almudena Colacito, Dick de Jongh. Post-proceedings of TbiLLC 2017, pp. 21-41, 2019.
16. Quotient dynamics: the logic of abstraction. Alexandru Batag, Nick Bezhanishvili, Julia Ilin, Aybuke Ozgun. Proceedings of Logic, Rationality, and Interaction, LORI VI, Baltag A., Seligman J., Yamada T. (eds), Lecture Notes in Computer Science, vol. 10455, pp. 181-194, 2017.
15. A propositional dynamic logic for instantial neighborhood models. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist. Proceedings of Logic, Rationality, and Interaction, LORI VI, Baltag A., Seligman J., Yamada T. (eds), Lecture Notes in Computer Science, vol. 10455, pp. 137-150, 2017.
14. A new game equivalence and its modal logic. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist. Proceedings of Theoretical Aspects of Rationality and Knowledge, TARK 2017.
13. Universal models for the positive fragment of intuitionistic logic. Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao. 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Revised Selected Papers, Hansen, H.H., Murray, S.E., Sadrzadeh, M., Zeevat, H. (Eds.), Lecture Notes in Computer Science, vol. 10148, pp. 229-250, 2017.
12. The topology of full and weak belief. Alexandru Baltag, Nick Bezhanishvili, Aybuke Ozgun, Sonja Smets. 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015. Revised Selected Papers, Hansen, H.H., Murray, S.E., Sadrzadeh, M., Zeevat, H. (Eds.), Lecture Notes in Computer Science, vol. 10148, pp. 205-228, 2017.
11. Games for topological fixpoint logic. Nick Bezhanishvili and Clemens Kupke. Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016, pp. 46-60, 2016.
10. Justified belief and the topology of evidence. Alexandru Baltag, Nick Bezhanishvili, Aybuke Ozgun, Sonja Smets. Proceedings of the 23rd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2016, Vaananen, J., Hirvonen, A., de Queiroz, R. (Eds.), Lecture Notes in Computer Science 9803, Springer, pp. 83-103, 2016.
9. Duality and universal models for the meet-implication fragment of IPC. Nick Bezhanishvili, Dion Coumans, Sam van Gool, and Dick de Jongh. 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers, Aher, M., Hole, D., Jerabek, E., Kupke, C. (Eds.), pp. 97-116, 2015.
8. Multiple-conclusion rules, hypersequents syntax and step frames. Nick Bezhanishvili and Silvio Ghilardi. In Proceedings of Advances in Modal Logic (AiML) 2014, R. Gore, B. Kooi, and A. Kurucz (Eds.), College Publications, pp. 54-61, 2014. Full version is available here.
7. The topology of belief, belief revision and defeasible knowledge. Alexandru Baltag, Nick Bezhanishvili, Aybuke Ozgun, Sonja Smets. In Logic, Rationality, and Interaction, Proceedings of LORI 4, Grossi, D., Roy, O. and Huang, H. (Eds.), Lecture Notes in Computer Science 8196, Springer, pp. 27-40, 2013.
6. Bounded proofs and step frames. Nick Bezhanishvili and Silvio Ghilardi. In Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of Tableaux 2013, Galmiche, D. and Larchey-Wendling, D. (Eds.), Lecture Notes in Artificial Intelligence 8123, Springer, pp. 44-58, 2013.
5. Minimization via Duality. Nick Bezhanishvili, Clemens Kupke, and Prakash Panangaden. L. Ong and R. de Queiroz (Eds.): WoLLIC 2012, LNCS 7456, pp. 191--205. Springer, Heidelberg, 2012.
4. Free Heyting Algebras: Revisited. Nick Bezhanishvili and Mai Gehrke. CALCO'09, LNCS 5728, pp. 251-266, 2009.
3. Free modal algebras: A coalgebraic perspective. Nick Bezhanishvili and Alexander Kurz. CALCO'07, LNCS 4624, pp. 143-157, 2007.
2. Distributive lattices with quantifier: Topological representation. Nick Bezhanishvili. Proceedings of ESSLLI'99 Student Session, 1999.
1. Pseudomonadic algebras. Nick Bezhanishvili. Proceedings of ESSLLI'96 Student Session, 1996.
10. Intermediate logics in the setting of team semantics. Nick Bezhanishvili and Fan Yang. Outstanding Contributions to Logic volume dedicated to Dick de Jongh. Springer, pp. 231- 171, 2024.
9. Jankov formulas and axiomatization techniques for intermediate logics. Guram Bezhanishvili and Nick Bezhanishvili. Outstanding Contributions to Logic, V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics, Springer, pp. 71-124, 2023.
8. Minimisation in logical form. Nick Bezhanishvili, Marcello Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva. Outstanding Contributions to Logic, Samson Abramsky on Logic and Structure in Computer Science and Beyond, Springer, pp. 89-127, 2023.
7. Modern faces of filtration. Johan van Benthem and Nick Bezhanishvili. Outstanding Contributions to Logic, Kit Fine on Truthmakers, Relevance, and Non-classical Logic, Springer, pp. 23-61, 2023.
6. An algebraic approach to filtrations for superintuitionistic logics. Guram Bezhanishvili and Nick Bezhanishvili. Liber Amicorum Albert Visser, Tributes Series, Volume 30, College Publications, pp. 47-56, 2016.
5. Changing a semantics: opportunism or courage? Hijnal Andreka, Johan van Benthem, Nick Bezhanishvili, Istvan Nemeti. The Life and Work of Leon Henkin, Birkhauser, pp. 307 - 337, 2014.
4. Structures for epistemic logic. Nick Bezhanishvili and Wiebe van der Hoek. To appear in Logical and Informational Dynamics, A. Baltag and S. Smets (Eds.), a volume in honour of Johan van Benthem, Trends in Logic, Springer, pp. 339 - 381, 2014.
3. Free modal algebras revisited: the step-by-step method. Nick Bezhanishvili, Silvio Ghilardi, and Mamuka Jibladze. In Leo Esakia on Duality in Modal and Intuitionistic Logics, G. Bezhanishvili (Ed.) Trends in Logic, Springer, pp. 43-62, 2014.
2. Varieties of two-dimensional cylindric algebras. Nick Bezhanishvili. In Cylindric-like Algebras and Algebraic Logic, H. Andreka, M. Ferenczi, I. Nemeti (Eds.), Bolyai Society Mathematical Studies, Springer. pp. 37-59, 2013.
1. De Jongh's characterization of intuitionistic propositional calculus. Nick Bezhanishvili. Liber Amicorum Dick de Jongh, 2004.
3. Dick de Jongh on Intuitionistic and Provability Logics. Outstanding Contributions to Logic, Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang (Eds.), Springer, 2024.
2. Lectures on Logic and Computation. Nick Bezhanishvili and Valentin Goranko (Eds.), ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011 Ljubljana, Slovenia, August 2011. Selected Courses/Lectures notes, Lecture Notes in Computer Science, Vol. 7388, 2012.
1. Logic, Language, and Computation. Nick Bezhanishvili, Sebastian Loebner, Kerstin Schwabe, Luca Spada (Eds.), 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 2009, Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol. 6618, 2011.
Lattices of Intermediate and Cylindric Modal Logics. Nick Bezhanishvili. ILLC, University of Amsterdam, 2006.
Intuitionistic Logic. Nick Bezhanishvili and Dick de Jongh. ESSLLI'05 Course Notes, 2005.