#### Filter Results:

- Full text PDF available (12)

#### Publication Year

2011

2017

- This year (5)
- Last 5 years (12)
- Last 10 years (13)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema
- Applied Categorical Structures
- 2017

By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras (complete Boolean algebras endowed with a proximity-like relation). We provide an alternative “modal-like” duality by introducing the concept of a Gleason space, which is a pair (X,R), where X is an extremally disconnected compact… (More)

- Nick Bezhanishvili, Sumit Sourabh
- J. Log. Comput.
- 2017

We introduce a new order-topological semantics for the positive modal mu-calculus over modal compact Hausdorff spaces, which are generalizations of descriptive frames. We define Sahlqvist sequents in this language, prove Esakia’s lemma and Sahlqvist preservation theorem for this semantics. We show that every Sahlqvist sequent has a frame correspondent in… (More)

- Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
- Theor. Comput. Sci.
- 2015

In the present paper, the algorithmic correspondence theory developed in (Conradie and Palmigiano, 2012) is extended to mu-calculi with a non-classical base. We focus in particular on the language of bi-intuitionistic modal mu-calculus. We enhance the algorithm ALBA introduced in (Conradie and Palmigiano, 2012) so as to guarantee its success on the class of… (More)

- Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
- J. Log. Comput.
- 2017

The theory of canonical extensions typically considers extensions of maps A ! B to maps A ! B . In the present paper, the theory of canonical extensions of maps A ! B to maps A ! B is developed, and is applied to obtain a new canonicity proof for those inequalities in the language of Distributive Modal Logic (DML) on which the algorithm ALBA [9] is… (More)

- Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
- J. Log. Comput.
- 2017

- Willem Conradie, Alessandra Palmigiano, Sumit Sourabh
- J. Log. Algebr. Meth. Program.
- 2017

This paper provides a bridge in the gap between the model-theoretic and the algebraic side of modal correspondence theory. We give a new, algebraic proof of the classical Sahlqvist correspondence theorem, as well as a new, algebraic proof of the analogous result for the atomic inductive formulas, which form a proper extension of the Sahlqvist class.

Sahlqvist-style correspondence results remain a perennial theme and an active topic of research within modal logic. Recently, there has been interest in extending the classical results in this area to the modal mu-calculus [7]. For instance, in [8] van Benthem, Bezhanishvili and Hodkinson define a class of Sahlqvist formulas for the modal mu-calculus, all… (More)

- Sebastian Enqvist, Sumit Sourabh
- ArXiv
- 2014

We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bisimulations [3]. The main result of our paper is that bisimulation for a Stone coalgebra is the topological closure of bisimulation for the underlying Set coalgebra.

- Sujata Ghosh, Sumit Sourabh, Rineke Verbrugge
- LORI
- 2011

Introduction. This paper reports the development of a simple tool, NEGEXT, written in the platform-independent Java language. NEGEXT has been constructed to aid real people doing actual negotiations, when the ways to negotiate are simply too many to be computed by a normal human mind. This toolkit will also help in planning one’s strategic moves in… (More)

- Sanchit Saraf, Sumit Sourabh
- ArXiv
- 2012

Characterization of successful formulas in Public Announcement Logic (PAL) is a well known open problem in Dynamic Epistemic Logic. Recently, Holliday and ICard have given a complete characterization for the single agent case in [6]. However, the problem for the multi-agent case is open. This paper gives a partial solution to the problem, characterizing the… (More)