Login / Signup
On interval dynamic logic: Introducing quasi-action lattices.
Regivan H. N. Santiago
Benjamín R. C. Bedregal
Alexandre Madeira
Manuel A. Martins
Published in:
Sci. Comput. Program. (2019)
Keyphrases
</>
dynamic logic
reasoning about actions
logic programming
situation calculus
imperative programs
modal logic
action sequences
propositional dynamic logic
interval data
multiple input
knowledge representation
partial order
human actions
rough approximations
type fuzzy logic systems