A Problem for Downward Closure in the Semantics of Counterfactuals.

Published in: ESSLLI Student Sessions (2021)

Keyphrases

logical language
formal semantics
search algorithm
logic programming
semantic information
graphical representation
neural network
website
high level
programming language
specification language