N system: A natural temporal deduction system

MaRDI QIDQ1123186zbMATH OpenFDO

Authors Renwei Li

Publication date 1989

Published in Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

propositional temporal logicnatural deduction system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Natural deduction system for linear time temporal logic
• scientific article; zbMATH DE number 724630
• A labelled natural deduction system for linear temporal logic
• Natural Deduction Calculus for Linear-Time Temporal Logic
• A natural deduction system for bundled branching time logic
• A non-standard temporal deductive database system
• Системы временной логики I: моменты, истории, деревья
• scientific article; zbMATH DE number 3904560

Cited in

(5)

• scientific article; zbMATH DE number 724630 (Why is no real title available?)
• A labelled natural deduction system for linear temporal logic
• Natural deduction system for linear time temporal logic
• scientific article; zbMATH DE number 3904560 (Why is no real title available?)
• Natural Deduction Calculus for Linear-Time Temporal Logic

This page was built for publication: N system: A natural temporal deduction system

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