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...
Main Author: | Krystian Jobczyk |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2021-07-01
|
Series: | Electronics |
Subjects: | |
Online Access: | https://www.mdpi.com/2079-9292/10/15/1817 |
Similar Items
-
Logic : the study of deductive reasoning /
by: 367588 Yildirim, Cemal
Published: (1973) -
Logic and contemporary rhetoric : the use of reason in everyday life /
by: 505061 Cavender, Nancy M., et al.
Published: (2010) -
Large Language Models and Logical Reasoning
by: Robert Friedman
Published: (2023-05-01) -
Elements of logical reasoning
by: 374310 Von Plato, Jan author
Published: (2013) -
Critical reasoning and logic /
by: 430617 Boyd, Robert
Published: (2003)