Login / Signup
Fractional-Valued Modal Logic.
Mario Piazza
Gabriele Pulcini
Matteo Tesi
Published in:
Rev. Symb. Log. (2023)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
default logic
conditional logic
classical logic
epistemic logic
situation calculus
hurst exponent
fractional order
description logic alc
partial order
model checking
sequent calculus
data model