11 results
SMT-based verification of data-aware processes: a model-theoretic approach
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 3 / March 2020
- Published online by Cambridge University Press:
- 03 April 2020, pp. 271-313
-
- Article
- Export citation
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 6 / June 2020
- Published online by Cambridge University Press:
- 21 January 2020, pp. 572-596
-
- Article
- Export citation
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 15 October 2019, pp. 1544-1575
- Print publication:
- December 2019
-
- Article
- Export citation
A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 21 March 2017, pp. 62-76
- Print publication:
- March 2017
-
- Article
- Export citation
Connecting many-sorted theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-583
- Print publication:
- June 2007
-
- Article
- Export citation
Filtering unification and most general unifiers in modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 879-906
- Print publication:
- September 2004
-
- Article
- Export citation
Unification in intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 859-880
- Print publication:
- June 1999
-
- Article
- Export citation
Relational and partial variable sets and basic predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 843-872
- Print publication:
- September 1996
-
- Article
- Export citation
A sheaf representation and duality for finitely presented Heyting algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 911-939
- Print publication:
- September 1995
-
- Article
- Export citation
11 - Semantical aspects of quantified modal logic
-
-
- Book:
- Knowledge, Belief, and Strategic Interaction
- Published online:
- 05 November 2011
- Print publication:
- 28 August 1992, pp 167-196
-
- Chapter
- Export citation
Incompleteness results in Kripke semantics
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-538
- Print publication:
- June 1991
-
- Article
- Export citation