OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
The power of modal separation logics
Stéphane Demri, Raul Fervari
Journal of Logic and Computation (2019) Vol. 29, Iss. 8, pp. 1139-1184
Open Access | Times Cited: 11
Stéphane Demri, Raul Fervari
Journal of Logic and Computation (2019) Vol. 29, Iss. 8, pp. 1139-1184
Open Access | Times Cited: 11
Showing 11 citing articles:
Modal Logics with Composition on Finite Forests
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, et al.
(2020), pp. 167-180
Open Access | Times Cited: 5
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, et al.
(2020), pp. 167-180
Open Access | Times Cited: 5
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri, Étienne Lozes, Alessio Mansutti
Logical Methods in Computer Science (2021) Vol. Volume 17, Issue 3
Open Access | Times Cited: 5
Stéphane Demri, Étienne Lozes, Alessio Mansutti
Logical Methods in Computer Science (2021) Vol. Volume 17, Issue 3
Open Access | Times Cited: 5
Verification of dynamic bisimulation theorems in Coq
Raul Fervari, Francisco Trucco, Beta Ziliani
Journal of Logical and Algebraic Methods in Programming (2021) Vol. 120, pp. 100642-100642
Closed Access | Times Cited: 3
Raul Fervari, Francisco Trucco, Beta Ziliani
Journal of Logical and Algebraic Methods in Programming (2021) Vol. 120, pp. 100642-100642
Closed Access | Times Cited: 3
Database Management System Verification with Separation Logics
Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero–Castillo, et al.
Programming and Computer Software (2021) Vol. 47, Iss. 8, pp. 654-672
Closed Access | Times Cited: 2
Diego Medina-Martínez, Everardo Bárcenas, Guillermo Molero–Castillo, et al.
Programming and Computer Software (2021) Vol. 47, Iss. 8, pp. 654-672
Closed Access | Times Cited: 2
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
Raul Fervari, Francisco Trucco, Beta Ziliani
Lecture notes in computer science (2020), pp. 3-18
Closed Access | Times Cited: 1
Raul Fervari, Francisco Trucco, Beta Ziliani
Lecture notes in computer science (2020), pp. 3-18
Closed Access | Times Cited: 1
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri, Étienne Lozes, Alessio Mansutti
arXiv (Cornell University) (2020)
Closed Access | Times Cited: 1
Stéphane Demri, Étienne Lozes, Alessio Mansutti
arXiv (Cornell University) (2020)
Closed Access | Times Cited: 1
Internal proof calculi for modal logics with separating conjunction
Stéphane Demri, Raul Fervari, Alessio Mansutti
Journal of Logic and Computation (2021) Vol. 31, Iss. 3, pp. 832-891
Open Access | Times Cited: 1
Stéphane Demri, Raul Fervari, Alessio Mansutti
Journal of Logic and Computation (2021) Vol. 31, Iss. 3, pp. 832-891
Open Access | Times Cited: 1
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material)
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, et al.
arXiv (Cornell University) (2020)
Open Access
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, et al.
arXiv (Cornell University) (2020)
Open Access
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy
Raul Fervari, Alessio Mansutti
Lecture notes in computer science (2022), pp. 305-324
Open Access
Raul Fervari, Alessio Mansutti
Lecture notes in computer science (2022), pp. 305-324
Open Access
On Composing Finite Forests with Modal Logics
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, et al.
ACM Transactions on Computational Logic (2022) Vol. 24, Iss. 2, pp. 1-46
Closed Access
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, et al.
ACM Transactions on Computational Logic (2022) Vol. 24, Iss. 2, pp. 1-46
Closed Access
Copy and remove as dynamic operators
Carlos Areces, Hans van Ditmarsch, Raul Fervari, et al.
Journal of Applied Non-Classical Logics (2021) Vol. 31, Iss. 3-4, pp. 181-220
Open Access
Carlos Areces, Hans van Ditmarsch, Raul Fervari, et al.
Journal of Applied Non-Classical Logics (2021) Vol. 31, Iss. 3-4, pp. 181-220
Open Access
