A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning

DOI10.1007/978-3-662-48561-3_15zbMath1471.03056OpenAlexW2295649323MaRDI QIDQ3457702

Norihiro Kamide

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_15

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bounded linear-time temporal logic: a proof-theoretic investigation
• The Gentzenization and decidability of RW
• Decidable fragments of first-order temporal logics
• The undecidability of entailment and relevant implication
• Sequential Calculus for a First Order Infinitary Temporal Logic

This page was built for publication: A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning