Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions

Lara Stoltenow, Barbara König, Sven Schneider +3

We study nested conditions, a generalization of first-order logic to a categorical setting, and provide a tableau-based (semi-decision) procedure for checking (un)satisfiability an…