scientific article; zbMATH DE number 5840258

MaRDI QIDQ3067642zbMATH OpenFDO

Authors Norihiro Kamide

Publication date 21 January 2011

Full work available at URL http://pphmj.com/abstract/5170.htm

zbMATH Keywords

completeness theoremcut-elimination theoremnatural deductionnormalization theoremsequent calculustemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A temporal logic approach to binding-time analysis
• scientific article; zbMATH DE number 1980922
• A note about the axioms for branching-time logic
• scientific article; zbMATH DE number 1738290
• scientific article; zbMATH DE number 4179344
• Computer Science Logic
• Characterising combinational timing analyses in intuitionistic modal logic
• Automatic binding time analysis for a typed -calculus
• Determinacy analysis for efficient execution of logic programs
• A natural deduction system for bundled branching time logic

Cited in

(2)

• A temporal logic approach to binding-time analysis
• Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics

This page was built for publication:

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