Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems (Q1409305)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems |
scientific article; zbMATH DE number 1990749
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems |
scientific article; zbMATH DE number 1990749 |
Statements
Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems (English)
0 references
13 October 2003
0 references
incomplete knowledge
0 references
incomplete temporal information system
0 references
temporal logic
0 references
three-valued logic
0 references
Gentzen-type formulations
0 references
0 references
