Tense Logics over Lattices.

Xiaoyang Wang Yanjing Wang

Published in: WoLLIC (2022)

Keyphrases

expressive power
modal logic
temporal relations
inference rules
proof theory
real time
information systems
knowledge representation
concept lattice
default logic
nonmonotonic logics
conditional logic