A Neat Embedding Theorem for Expansions of Cylindric Algebras.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 41, doi. 10.1093/jigpal/jzl032
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2007 AND VI 15 AND IP 1
Results: 8
1
2
An Interpolation Theorem for First Order Logic with Infinitary Predicates.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 21, doi. 10.1093/jigpal/jzl030
- By:
- Publication type:
- Article
3
Compatible Functions in Algebras Associated to Extensions of Positive Logic.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 109, doi. 10.1093/jigpal/jzl037
- By:
- Publication type:
- Article
4
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 53, doi. 10.1093/jigpal/jzl035
- By:
- Publication type:
- Article
5
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 120, doi. 10.1093/jigpal/jzm001
- Publication type:
- Article
6
Dynamic Topological Completeness for.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 77, doi. 10.1093/jigpal/jzl036
- By:
- Publication type:
- Article
7
On Neat Reducts and Amalgamation.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 33, doi. 10.1093/jigpal/jzl031
- By:
- Publication type:
- Article
8
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 1, doi. 10.1093/jigpal/jzl013
- By:
- Publication type:
- Article