3 results
SOME MODEL THEORY OF GUARDED NEGATION
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1307-1344
- Print publication:
- December 2018
-
- Article
- Export citation
On Core XPath with Inflationary Fixed Points∗
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 47 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 19 December 2012, pp. 3-23
- Print publication:
- January 2013
-
- Article
- Export citation
Interpolation for extended modal languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-234
- Print publication:
- March 2005
-
- Article
- Export citation