Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems

DOI10.1305/NDJFL/1054301355zbMath1023.03527OpenAlexW2027842423MaRDI QIDQ1409305

Osamu Morikawa

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

zbMATH Keywords

three-valued logictemporal logicincomplete knowledgeGentzen-type formulationsincomplete temporal information system

Mathematics Subject Classification ID

Knowledge representation (68T30) Many-valued logic (03B50) Temporal logic (03B44)

Cites Work

• Some modal logics based on a three-valued logic
• An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation
• A qualitative fuzzy possibilistic logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems