Tableaux for Logics of Content Relationship and Set-Assignment Semantics.

Tomasz Jarmuzek Mateusz Klonowski

Published in: Logica Universalis (2022)

Keyphrases

modal logic
metadata
user defined
multimedia
relational databases
probability distribution
logic programming
semantic information
web content
partially ordered
formal semantics
conditional logic