Some System of Predicate Tense Logic
From MaRDI portal
Publication:3695255
Recommendations
- Combinations of tense and modality for predicate logic
- scientific article; zbMATH DE number 724630
- scientific article; zbMATH DE number 4085608
- Properties of Tense Logics
- scientific article; zbMATH DE number 1486931
- Predicate metric tense logic for `now' and `then'
- scientific article; zbMATH DE number 757644
- An `almost classical' period-based tense logic
- scientific article; zbMATH DE number 3851048
- scientific article; zbMATH DE number 3877151
Cited in
(6)- The minimal system \(L_ 0'\)
- scientific article; zbMATH DE number 698626 (Why is no real title available?)
- scientific article; zbMATH DE number 4085608 (Why is no real title available?)
- scientific article; zbMATH DE number 4112561 (Why is no real title available?)
- A simple dynamic logic
- A two dimensional tense-modal sortal logic
This page was built for publication: Some System of Predicate Tense Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3695255)