Cited By
View all- Angius NStefaneas P(2024)The logical structure of modular semantic theories of software systemsMetaphilosophy10.1111/meta.1270155:3(440-456)Online publication date: 15-Jul-2024
- TARLECKI A(2024)ON THE FRAGILITY OF INTERPOLATIONThe Journal of Symbolic Logic10.1017/jsl.2024.19(1-38)Online publication date: 21-Mar-2024
- Reynolds CMonahan R(2024)Reasoning about logical systems in the Coq proof assistantScience of Computer Programming10.1016/j.scico.2023.103054233:COnline publication date: 1-Mar-2024
- Show More Cited By