Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems (Q1409305)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems |
scientific article |
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