Nonmonotonic temporal logic and its Kripke semantics

Yasushi Fujiwara*, Shinichi Honiden

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Nonmonotonic temporal logic and its Kripke semantics'. Together they form a unique fingerprint.

Engineering & Materials Science