A Rice's Theorem for Abstract Semantics.

Paolo Baldan Francesco Ranzato Linpeng Zhang

Published in: ICALP (2021)

Keyphrases

formal semantics
logic programming
semantic information
propositional dynamic logic
speech acts
high level
higher level
graphical representation
logical framework
logical language
database
data sets
low level
semantic representation
operational semantics