-
1
-
-
0001129020
-
Modal languages and bounded fragments of predicate logic
-
Andréka, H., van Benthem, J. Németi, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217-274, (1998).
-
(1998)
Journal of Philosophical Logic
, vol.27
, Issue.3
, pp. 217-274
-
-
Andréka, H.1
Van Benthem, J.2
Németi, I.3
-
2
-
-
84856512288
-
-
Springer Verlag, Berlin Heidelberg New York
-
Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Springer Verlag, Berlin Heidelberg New York, (1997).
-
(1997)
The Classical Decision Problem
-
-
Börger, E.1
Grädel, E.2
Gurevich, Y.3
-
5
-
-
0003899279
-
-
LNCS 679, Springer Verlag Berlin Heidelberg New York
-
Fermüller, C., Leitsch, A., Tammet, T., Zamov, N.: Resolution Methods for the Decision Problem. LNCS 679, Springer Verlag Berlin Heidelberg New York, (1993).
-
(1993)
Resolution Methods for the Decision Problem
-
-
Fermüller, C.1
Leitsch, A.2
Tammet, T.3
Zamov, N.4
-
6
-
-
0032597509
-
-
LICS 14, IEEE Computer Society Press
-
Ganzinger, H., de Nivelle, H.: A superposition procedure for the guarded fragment with equality. LICS 14, IEEE Computer Society Press, (1999), 295-303.
-
(1999)
A Superposition Procedure for the Guarded Fragment with Equality
, pp. 295-303
-
-
Ganzinger, H.1
De Nivelle, H.2
-
7
-
-
0010849308
-
The unsolvability of the gödel class with identity
-
Goldfarb, W.: the unsolvability of the Gödel Class with Identity. Journal of Symbolic Logic, 49, (1984), 1237-1252.
-
(1984)
Journal of Symbolic Logic
, vol.49
, pp. 1237-1252
-
-
Goldfarb, W.1
-
8
-
-
0003617288
-
-
Oxford University Press. Edited by Feferman, S., Dawson, J. jr., Kleene, S., Moore, G., Solovay, R., van Heijenoort, J.
-
Gödel, K.: Collected Works, Volume 1: Publications 1929-1936. Oxford University Press. Edited by Feferman, S., Dawson, J. jr., Kleene, S., Moore, G., Solovay, R., van Heijenoort, J., (1986).
-
(1986)
Collected Works, Volume 1: Publications 1929-1936
-
-
Gödel, K.1
-
9
-
-
0031491942
-
On the decision problem for two-variable first-order logic
-
Grädel, E., Kolaitis, Ph. G., Vardi, M.Y.: On the Decision Problem for Two-Variable First-Order Logic. The Bulletin of Symbolic Logic 3-1, (1997) 53-68.
-
(1997)
The Bulletin of Symbolic Logic
, vol.3
, Issue.1
, pp. 53-68
-
-
Grädel, E.1
Kolaitis, Ph.G.2
Vardi, M.Y.3
-
10
-
-
0000037297
-
Resolution-based methods for modal logics
-
Hustadt, U., de Nivelle, H., Schmidt, R.: Resolution-Based Methods for Modal Logics, Journal of the IGPL 8-3, (2000), 265-292.
-
(2000)
Journal of the IGPL
, vol.8
, Issue.3
, pp. 265-292
-
-
Hustadt, U.1
De Nivelle, H.2
Schmidt, R.3
-
13
-
-
0346438615
-
+-class by an A posteriori, liftable order
-
+-Class by an A Posteriori, Liftable Order. Annals of Pure and Applied Logic 104-(1-3), (2000), 219-232.
-
(2000)
Annals of Pure and Applied Logic
, vol.104
, Issue.1-3
, pp. 219-232
-
-
De Nivelle, H.1
-
16
-
-
0001538392
-
A decision method for validity of sentences in two variables
-
Scott, D.: A Decision Method for Validity of Sentences in two Variables. Journal of Symbolic Logic 27, (1962), 477.
-
(1962)
Journal of Symbolic Logic
, vol.27
, pp. 477
-
-
Scott, D.1
|