Temporal logic of surjective bounded morphisms between finite linear processes

DOI10.1080/11663081.2023.2269432OpenAlexW4387971700MaRDI QIDQ6117324

No author found.

Publication date: 20 March 2024

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2023.2269432

zbMATH Keywords

temporal logicmodal definabilityKripke completeness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Around provability logic
• Provability: The emergence of a mathematical modality
• A new proof of Sahlqvist's theorem on modal definability and completeness
• An incompleteness theorem in modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal logic of surjective bounded morphisms between finite linear processes