A decidable temporal relevant logic for time-dependent relevant human reasoning

DOI10.1007/978-3-662-48561-3_15zbMATH Open1471.03056OpenAlexW2295649323MaRDI QIDQ3457702FDOQ3457702

Authors: 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

Recommendations

• Decidable temporal and sequential relevant logics*
• \(TW_+\) and \(RW_+\) are decidable
• scientific article; zbMATH DE number 1248086
• The temporal logic of branching time
• A cut-free sequent calculus for relevant logic RW

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidable fragments of first-order temporal logics
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Title not available (Why is that?)
• Bounded linear-time temporal logic: a proof-theoretic investigation
• The Gentzenization and decidability of RW

Cited In (1)

• Decidable temporal and sequential relevant logics*

This page was built for publication: A decidable temporal relevant logic for time-dependent relevant human reasoning

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