On the finite model property of weak intuitionistic tense logic

DOI10.1007/978-3-030-88708-7_14OpenAlexW3204526138MaRDI QIDQ2148830

Fei Liang, Zhe Lin, Yu Peng

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88708-7_14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic axiomatization of tense intuitionistic logic
• On disjunctions and existential statements in intuitionistic systems of logic
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• The sequent systems and algebraic semantics of intuitionistic tense logics
• Temporal Equilibrium Logic: A First Approach
• Intuitionistic tense and modal logic
• Intuitionistic Linear Temporal Logics

This page was built for publication: On the finite model property of weak intuitionistic tense logic