Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio On composing finite forests with modal logics. (English) Zbl 07672671 ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{B. Bednarczyk} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 12, 46 p. (2023; Zbl 07672671) Full Text: DOI
Bednarczyk, Bartosz; Demri, Stéphane Why does propositional quantification make modal and temporal logics on trees robustly hard? (English) Zbl 07577569 Log. Methods Comput. Sci. 18, No. 3, Paper No. 5, 46 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{B. Bednarczyk} and \textit{S. Demri}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 5, 46 p. (2022; Zbl 07577569) Full Text: arXiv Link
Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio A complete axiomatisation for quantifier-free separation logic. (English) Zbl 07407789 Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Demri} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 17, 64 p. (2021; Zbl 07407789) Full Text: arXiv Link
Demri, Stéphane; Deters, Morgan Separation logics and modalities: a survey. (English) Zbl 1398.03151 J. Appl. Non-Class. Log. 25, No. 1, 50-99 (2015). MSC: 03B70 03B25 03B44 03B45 03D15 PDFBibTeX XMLCite \textit{S. Demri} and \textit{M. Deters}, J. Appl. Non-Class. Log. 25, No. 1, 50--99 (2015; Zbl 1398.03151) Full Text: DOI
Demri, Stéphane; Deters, Morgan Two-variable separation logic and its inner circle. (English) Zbl 1354.03036 ACM Trans. Comput. Log. 16, No. 2, Article No. 15, 36 p. (2015). MSC: 03B70 03B25 PDFBibTeX XMLCite \textit{S. Demri} and \textit{M. Deters}, ACM Trans. Comput. Log. 16, No. 2, Article No. 15, 36 p. (2015; Zbl 1354.03036) Full Text: DOI HAL
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne On the almighty wand. (English) Zbl 1262.03051 Inf. Comput. 211, 106-137 (2012). Reviewer: Roger Villemaire (Montréal) MSC: 03B70 03B25 68N30 68P05 68Q60 PDFBibTeX XMLCite \textit{R. Brochenin} et al., Inf. Comput. 211, 106--137 (2012; Zbl 1262.03051) Full Text: DOI
Demri, Stéphane; de Nivelle, Hans Deciding regular grammar logics with converse through first-order logic. (English) Zbl 1083.03023 J. Logic Lang. Inf. 14, No. 3, 289-329 (2005). MSC: 03B45 68Q42 03B25 03B20 03B35 03B70 PDFBibTeX XMLCite \textit{S. Demri} and \textit{H. de Nivelle}, J. Logic Lang. Inf. 14, No. 3, 289--329 (2005; Zbl 1083.03023) Full Text: DOI arXiv
Demri, Stéphane A class of decidable information logics. (English) Zbl 0902.68062 Theor. Comput. Sci. 195, No. 1, 33-60 (1998). MSC: 68P99 03B45 PDFBibTeX XMLCite \textit{S. Demri}, Theor. Comput. Sci. 195, No. 1, 33--60 (1998; Zbl 0902.68062) Full Text: DOI
Demri, Stéphane; Orłowska, Ewa Logical analysis of demonic nondeterministic programs. (English) Zbl 0872.03018 Theor. Comput. Sci. 166, No. 1-2, 173-202 (1996). MSC: 03B70 68Q60 PDFBibTeX XMLCite \textit{S. Demri} and \textit{E. Orłowska}, Theor. Comput. Sci. 166, No. 1--2, 173--202 (1996; Zbl 0872.03018) Full Text: DOI
Demri, Stéphane 3-SAT = SAT for a class of normal modal logics. (English) Zbl 0875.68762 Inf. Process. Lett. 54, No. 5, 281-287 (1995). MSC: 68T15 PDFBibTeX XMLCite \textit{S. Demri}, Inf. Process. Lett. 54, No. 5, 281--287 (1995; Zbl 0875.68762) Full Text: DOI
Demri, Stéphane; Orlowska, Ewa; Rewitzky, Ingrid Towards reasoning about Hoare relations. (English) Zbl 0858.68057 Ann. Math. Artif. Intell. 12, No. 3-4, 265-289 (1994). MSC: 68Q55 03B70 PDFBibTeX XMLCite \textit{S. Demri} et al., Ann. Math. Artif. Intell. 12, No. 3--4, 265--289 (1994; Zbl 0858.68057) Full Text: DOI
Caferra, Ricardo; Demri, Stéphane; Herment, Michel A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. (English) Zbl 0796.03016 Stud. Log. 52, No. 2, 197-232 (1993). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 03B35 03B45 PDFBibTeX XMLCite \textit{R. Caferra} et al., Stud. Log. 52, No. 2, 197--232 (1993; Zbl 0796.03016) Full Text: DOI