Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems
From MaRDI portal
Publication:1409305
DOI10.1305/ndjfl/1054301355zbMath1023.03527OpenAlexW2027842423MaRDI 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 logictemporal logicincomplete knowledgeGentzen-type formulationsincomplete temporal information system
Cites Work