#### Filter Results:

- Full text PDF available (80)

#### Publication Year

1999

2018

- This year (8)
- Last 5 years (45)
- Last 10 years (65)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Guram Bezhanishvili, Nick Bezhanishvili
- Rew. Symb. Logic
- 2009

We introduce partial Esakia morphisms, well partial Esakia morphisms, and strong partial Esakia morphisms between Esakia spaces and show that they provide the dual description of (âˆ§,â†’)-homomorphisms,â€¦ (More)

- Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson
- Studia Logica
- 2012

We define analogues of modal Sahlqvist formulas for the modal mucalculus, and prove a correspondence theorem for them.

- Nick Bezhanishvili, Ian M. Hodkinson
- Theor. Comput. Sci.
- 2012

We define Sahlqvist fixed point formulas. By extending the technique of Sambin and Vaccaro we show that (1) for each Sahlqvist fixed point formula Ï† there exists an LFP-formula Ï‡(Ï†), with no freeâ€¦ (More)

- Guram Bezhanishvili, Nick Bezhanishvili
- Notre Dame Journal of Formal Logic
- 2017

The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices. The variety of boundedâ€¦ (More)

We present a new topological semantics for doxastic logic, in which the belief modality is interpreted as the closure of the interior operator. We show that this semantics is the most generalâ€¦ (More)

- Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
- Mathematical Structures in Computer Science
- 2010

We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spacesâ€”the duals of Boolean algebrasâ€”and show that they are exactly the bitopological duals of boundedâ€¦ (More)

- Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden
- WoLLIC
- 2012

We show how to use duality theory to construct minimized versions of a wide class of automata. We work out three cases in detail: (a variant of) ordinary automata, weighted automata and probabilisticâ€¦ (More)

- Nick Bezhanishvili, Alexander Kurz
- CALCO
- 2007

In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abra msky 2005) and (Ghilardi 1995). We revisit the theory ofâ€¦ (More)

- Alexandru Baltag, Nick Bezhanishvili, AybÃ¼ke Ã–zgÃ¼n, Sonja Smets
- WoLLIC
- 2016

We introduce a new topological semantics for evidence, evidencebased belief, knowledge and learning. This setting generalizes (and in a sense improves on) the evidence models for belief due to vanâ€¦ (More)

- Guram Bezhanishvili, Nick Bezhanishvili, John Harding
- J. Log. Comput.
- 2015

We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras for the Vietoris functor on compact Hausdorff spaces. Modal compact regular frames andâ€¦ (More)