Certificate-First Modal Logic – v0.5.0 Software and v0.6.0 Documentation

2026 Dataset Open access

Read full text
Authors: Seer Kai
DOI: 10.13140/rg.2.2.23589.56800
Cited by: 0

Fields of Study & Subjects

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

Publication details

Publication date
1 January 2026
Language
EN
Document type
Dataset