Sumit Sourabh

According to our database, Sumit Sourabh authored at least 14 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Bisimulations for coalgebras on Stone spaces.

Sebastian Enqvist, Sumit Sourabh

J. Log. Comput., 2018

Incorporating Contagion in Portfolio Credit Risk Models Using Network Theory.

Ioannis Anagnostou, Sumit Sourabh, Drona Kandhai

Complex., 2018

2017

Jónsson-style canonicity for ALBA-inequalities.

Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

J. Log. Comput., 2017

Sahlqvist theory for impossible worlds.

Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

J. Log. Comput., 2017

Sahlqvist preservation for topological fixed-point logic.

Nick Bezhanishvili, Sumit Sourabh

J. Log. Comput., 2017

Algebraic modal correspondence: Sahlqvist and beyond.

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh

J. Log. Algebraic Methods Program., 2017

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality.

Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema

Appl. Categorical Struct., 2017

2015

Algorithmic correspondence for intuitionistic modal mu-calculus.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

Theor. Comput. Sci., 2015

Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA.

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

CoRR, 2015

2014

Generalized Vietoris Bisimulations.

Sebastian Enqvist, Sumit Sourabh

CoRR, 2014

2013

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Characterizing Successful Formulas: the Multi-agent Case

Sanchit Saraf, Sumit Sourabh

CoRR, 2012

2011

Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract).

Sujata Ghosh, Sumit Sourabh, Rineke Verbrugge

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011