A strongly complete axiomatization of intuitionistic temporal logic

DOI10.1093/LOGCOM/EXAB041MaRDI QIDQ5163983zbMATH OpenOpenAlexFDO

Authors Somayeh Chopoghloo, Morteza Moniri

Publication date 9 November 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exab041

zbMATH Keywords

infinitary proof systemintuitionistic logicKripke semanticsnon-compact logicsstrong completenesstemporal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44)

Recommendations

• Complete intuitionistic temporal logics for topological dynamics
• A decidable intuitionistic temporal logic
• An intuitionistic axiomatization of `eventually'
• Intuitionistic linear temporal logics
• scientific article; zbMATH DE number 1670826

Cited in

(10)

• Axiomatic systems and topological semantics for intuitionistic temporal logic
• scientific article; zbMATH DE number 5955763 (Why is no real title available?)
• The intuitionistic temporal logic of dynamical systems
• Axioms for Obligation and Robustness with Temporal Logic
• Complete intuitionistic temporal logics for topological dynamics
• A decidable intuitionistic temporal logic
• An intuitionistic axiomatization of `eventually'
• Exploring the Jungle of Intuitionistic Temporal Logics
• Ill-founded proof systems for intuitionistic linear-time temporal logic
• Algebraic axiomatization of tense intuitionistic logic

This page was built for publication: A strongly complete axiomatization of intuitionistic temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5163983)