Login / Signup
Ternary DDCVSL: a combined dynamic logic style for standard ternary logic with single power source.
Nooshin Azimi
Reza Faghih Mirzaee
Keivan Navi
Amir Masoud Rahmani
Published in:
IET Comput. Digit. Tech. (2020)
Keyphrases
</>
dynamic logic
propositional dynamic logic
modal logic
reasoning about actions
modal operators
covering arrays
inference rules
imperative programs
knowledge representation
single source
data sets
power consumption
temporal logic
automated reasoning
classical logic