Stéphane Demri (demri)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Beklemishev, Lev D., Demri, Stéphane and Maté, András, eds. 2016. Advances in Modal Logic. vol. XI. London: King’s College Publications.
Carreiro, Facundo and Demri, Stéphane. 2012. “Beyond Regularity for Presburger Modal Logic.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 161–182. London: King’s College Publications.
Demri, Stéphane. 1994. “Efficient Strategies for Automated Reasoning in Modal Logics.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 182–197. Lecture Notes in Computer Science. Berlin: Springer.
Demri, Stéphane. 1997. “A Completeness Proof for a Logic with an Alternative Necessity Operator.” Studia Logica: An International Journal for Symbolic Logic 58: 99–112.
Demri, Stéphane. 1999. “A Logic with Relative Knowledge Operators.” Journal of Logic, Language, and Information 8(2): 167–185.
Demri, Stéphane. 2002. “Modal Logics with Weak Forms of Recursion: PSPACE Specimens.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 113–138. Singapore: World Scientific Publishing Co.
Demri, Stéphane and Deters, Morgan. 2014. “The Effects of Modalities in Separation Logics (Extended Abstract).” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 134–138. London: King’s College Publications.
Demri, Stéphane and Gabbay, Dov M. 2000. “On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.” Studia Logica: An International Journal for Symbolic Logic 66(3): 349–384.
Demri, Stéphane, Goranko, Valentin and Lange, Martin. 2016. Temporal Logics in Computer Science: Finite-State Systems. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press, doi:10.1017/cbo9781139236119.