DOI10.1093/jigpal/jzab027MaRDI QIDQ5877705
Meghdad Ghari
Publication date: 16 February 2023 Published in: Logic Journal of the IGPL (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1093/jigpal/jzab027
zbMATH Keywords
completeness; temporal logic; internalization; justification logic; past modalities
Mathematics Subject Classification ID
03-XX: Mathematical logic and foundations
68-XX: Computer science