Exactly true and non-falsity logics meeting infectious ones.

Alex Belikov Yaroslav I. Petrukhin

Published in: J. Appl. Non Class. Logics (2020)

Keyphrases

truth values
expressive power
inference rules
modal logic
classical logic
case study
real time
database systems
logic programs