Collection Frames for Distributive Substructural Logics.

Greg Restall Shawn Standefer

Published in: Rev. Symb. Log. (2023)

Keyphrases

propositional calculus
modal logic
data sets
inference rules
video frames
moving objects
document collections
expressive power
database
databases
information systems
query language
digital libraries
key frames
temporal logic
multi agent systems
frame rate
multiscale
classical logic
case study