A modal approach towards substitutions

Annals of Pure and Applied Logic 2026

View at publisher

Authors: Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li

DOI: 10.1016/j.apal.2026.103742

Cited by: 2

References: 30

Fields of Study & Subjects

Logic Reasoning and Knowledge programming and type systems Formal Methods in Verification

References 30