Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems
From MaRDI portal
Publication:1409305
DOI10.1305/ndjfl/1054301355zbMath1023.03527MaRDI QIDQ1409305
Publication date: 13 October 2003
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1054301355
three-valued logic; temporal logic; incomplete knowledge; Gentzen-type formulations; incomplete temporal information system
Cites Work