A Multi-Valued Simplified Halpern–Shoham–Moszkowski Logic for Gradable Verifiability in Reasoning about Digital Circuits

A Multi-Valued Simplified Halpern–Shoham–Moszkowski Logic for Gradable Verifiability in Reasoning about Digital Circuits

In 1983, B. Moszkowski introduced a first interval-interpreted temporal logic system, the so-called <i>Interval Temporal Logic</i> (ITL), as a system suitable to express mutual relations inside intervals for reasonings about digital circuits. In 1991, Halpern and Shoham proposed a new te...

Full description

Bibliographic Details
Main Author: Krystian Jobczyk
Format: Article
Language:English
Published: MDPI AG 2021-07-01
Series:Electronics
Subjects:
Halpern–Shoham logic
interval temporal logic of Moszkowski
gradable varifiability
multi-valued logic
reasoning about digital circuits
Online Access:https://www.mdpi.com/2079-9292/10/15/1817

Internet

https://www.mdpi.com/2079-9292/10/15/1817

Similar Items