6 citations · 7 across the 8 of their papers we have counts for
9 papers
Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem
Nick Bezhanishvili, Jim de Groot, Lawrence S. Moss
We investigate a modal extension of the infinitary classical logic with countable meets and joins, formulated with an eye toward measure-theoretic work in dynamical systems and in…
Intermediate logics in the setting of team semantics
Nick Bezhanishvili, Fan Yang
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team se…
Admissibility of -Inference Rules: interpolation, model completion, and contact algebras
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi +1
We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to…
The Topological Mu-Calculus: completeness and decidability
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
We study the topological -calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well a…
Profiniteness and representability of spectra of Heyting algebras
G. Bezhanishvili, N. Bezhanishvili, T. Moraschini +1
We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More gener…
Minimisation in Logical Form
Nick Bezhanishvili, Marcello Bonsangue, Helle Hvid Hansen +4
Stone-type dualities provide a powerful mathematical framework for studying properties of logical systems. They have recently been fruitfully explored in understanding minimisation…