N system: A natural temporal deduction system
From MaRDI portal
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)