Degrees of indiscermibles in decidable modelsKIERSTEAD, H. A; REMMEL, J. B.Transactions of the American Mathematical Society. 1985, Vol 289, Num 1, pp 41-57, issn 0002-9947Article

Expressive power in first order topologyBANKSTON, P.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 478-487, issn 0022-4812Article

Some prime elements in the lattice of interpretability typesPUDLAK, P.Transactions of the American Mathematical Society. 1983, Vol 280, Num 1, pp 255-275, issn 0002-9947Article

Elimination of Malitz quantifiers in stable theoriesRAPP, A.Pacific journal of mathematics. 1985, Vol 117, Num 2, pp 387-396, issn 0030-8730Article

The consistency of some 4-stratified subsystem of NF including NF₃BOFFA, M; CASALEGNO, P.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 407-411, issn 0022-4812Article

Filter logics on ωKAUFMANN, M.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 241-256, issn 0022-4812Article

First-order theories as many-sorted algebrasMANCA, V; SALIBRA, A.Notre Dame journal of formal logic. 1984, Vol 25, Num 1, pp 86-94, issn 0029-4527Article

The Gödel class with identity is unsolvableGOLDFARB, W. D.Bulletin, new series, of the American Mathematical Society. 1984, Vol 10, Num 1, pp 113-115, issn 0273-0979Article

Automated theorem proving methodsNOSSU, R.BIT (Nordisk Tidskrift for Informationsbehandling). 1985, Vol 25, Num 1, pp 51-64, issn 0006-3835Article

Logical aspects of combinatorial dualityMCKEE, T. A.Canadian mathematical bulletin. 1984, Vol 27, Num 2, pp 251-256, issn 0008-4395Article

Research on spatio-temporal ontology based on description logicYONGQI HUANG; ZHIMIN DING; ZHUI ZHAO et al.Proceedings of SPIE, the International Society for Optical Engineering. 2008, Vol 7143, pp 714304.1-714304.9, issn 0277-786X, isbn 978-0-8194-7385-1 0-8194-7385-5, 2Conference Paper

Epistemic entrenchment and arithmetical hierarchyHAJEK, P.Artificial intelligence. 1993, Vol 62, Num 1, pp 79-87, issn 0004-3702Article

Descriptions structurelles. Descrimination et apprentissage sur ces descriptions = Structural description. Discrimination and learning on this descriptionsGASCUEL, O.Biochimie (Paris). 1985, Vol 67, Num 5, pp 499-507, issn 0300-9084Article

A logic for constant-depth circuitsGUREVICH, Y; LEWIS, H. R.Information and control. 1984, Vol 61, Num 1, pp 65-74, issn 0019-9958Article

Models with second order properties. IV: A general method and eliminating diamondsSHELAH, S.Annals of pure and applied logic. 1983, Vol 25, Num 2, pp 183-212, issn 0168-0072Article

A complete subsumption algorithmFERILLI, Stefano; DI MAURO, Nicola; BASILE, Teresa M. A et al.Lecture notes in computer science. 2003, pp 1-13, issn 0302-9743, isbn 3-540-20119-X, 13 p.Conference Paper

An exposition of Shelah's «main gap»: counting uncountable models of ω-stable and superstable theoriesHARRINGTON, L; MAKKAI, M.Notre Dame journal of formal logic. 1985, Vol 26, Num 2, pp 139-177, issn 0029-4527Article

Generalisation of first-order logic to nonatomic domainsROEPER, P.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 815-838, issn 0022-4812Article

Nominal logic : A first order theory of names and bindingPITTS, Andrew M.Lecture notes in computer science. 2001, pp 219-242, issn 0302-9743, isbn 3-540-42736-8Conference Paper

Incompleteness of first-order temporal logic with untilSZALAS, A; HOLENDERSKI, L.Theoretical computer science. 1988, Vol 57, Num 2-3, pp 317-325, issn 0304-3975Article

On static logics, dynamic logics, and complexity classesHAREL, D; PELEG, D.Information and control. 1984, Vol 60, Num 1-3, pp 86-102, issn 0019-9958Article

Conformal inequivalence of annuli and the first-order theory of subgroups of PSL (2,R)RUBEL, L. A.Proceedings of the American Mathematical Society. 1983, Vol 88, Num 4, pp 679-683, issn 0002-9939Article

The comparison of the expressive power of first-order dynamic logicsSTOLBOUSHKIN, A. P; TAITSLIN, M. A.Theoretical computer science. 1983, Vol 27, Num 1-2, pp 197-209, issn 0304-3975Article

QE commutative nilringsSARACINO, D; WOOD, C.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 644-651, issn 0022-4812Article

A normal form theorem for first order formulas and its application to Gaifman's splitting theoremMOTOHASHI, N.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1262-1267, issn 0022-4812Article