Term-Modal Logics, with Lars Thalmann and Andrei Voronkov, Studia

Download PDF
0 downloads 0 Views 7MB Size Report
Comment
If A is a formula and x is a variable, then VxA and 3xA are formulas. The notions of ...... (V) If VxA(x) E S, then SU{A(t)} € C for every ground term t. (3) If 3xA(X) ES, ...