A dual-context sequent calculus for the constructive modal logic S4
From MaRDI portal
Publication:5889308
DOI10.1017/S0960129522000378MaRDI QIDQ5889308
Favio E. Miranda-Perea, Lourdes del Carmen González Huesca, P. Selene Linares-Arévalo
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
cut elimination; formal verification; sequent calculus; constructive modal logic; coq; dual-context systems
68-XX: Computer science
Uses Software