Login / Signup
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages.
Mikhail N. Rybakov
Dmitry Shkatov
Published in:
J. Log. Comput. (2021)
Keyphrases
</>
expressive power
desirable properties
modal logic
first order logic
closure properties
inference rules
conditional logic
higher order
linear temporal logic
model checking
video frames
temporal logic
frame rate
data model
target language
horn clauses
grammatical inference
formal language
valued logic
video sequences