Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations.

Published in: Logica Universalis (2021)

Keyphrases

modal logic
classical logic
asynchronous circuits
decision procedures
logic programming
linear logic
automated reasoning
conditional logic
proof theory
digital circuits
computational properties
multi valued
probability theory
deontic logic
model checking
neural network
databases