-
1
-
-
0038725997
-
-
A. Meyer and M. Taitslin (editors), Logic at Botik'89. Lecture Notes in Computer Science 363, Springer- Verlag
-
D. Arhangelsky and M. Taitslin. A logic for data description. A. Meyer and M. Taitslin (editors), Logic at Botik'89. Lecture Notes in Computer Science 363, 2-11, Springer- Verlag, 1989
-
(1989)
A Logic for Data Description
, pp. 2-11
-
-
Arhangelsky, D.1
Taitslin, M.2
-
2
-
-
84947913636
-
-
W. Penczek, A. Szalas ( editors), Mathematical Foundations of Computer Science 1996. Lecture Notes in Computer Science 1113, Springer-Verlag
-
P. Balbiani. A modal logic for data analysis. W. Penczek, A. Szalas ( editors), Mathematical Foundations of Computer Science 1996. Lecture Notes in Computer Science 1113, Springer-Verlag, 167-179, 1996
-
(1996)
A Modal Logic for Data Analysis
, pp. 167-179
-
-
Balbiani, P.1
-
3
-
-
52849101304
-
-
E. Orlowska (editor), Incomplete Information: Hough Set Analysis. Studies in Fuzziness and Soft Computing 13, Physica Verlag
-
P. Balbiani. Axiomatization of logics based on Kripke models with relative accessibility relations. E. Orlowska (editor), Incomplete Information: Hough Set Analysis. Studies in Fuzziness and Soft Computing 13, 553-578, Physica Verlag, 1998
-
(1998)
Axiomatization of Logics Based on Kripke Models with Relative Accessibility Relations
, pp. 553-578
-
-
Balbiani, P.1
-
5
-
-
84887414507
-
-
Bulletin of the Polish Academy of Sciences, Mathematics
-
S. Demri. The validity problem for DALLA is decidable. Bulletin of the Polish Academy of Sciences, Mathematics, Volume 4, 79-86, 1996
-
(1996)
The Validity Problem for DALLA is Decidable
, vol.4
, pp. 79-86
-
-
Demri, S.1
-
7
-
-
52849127959
-
-
E. Orlowska (editor), Incomplete Information : Rough Set Analysis. Studies in Fuzziness and Soft Computing 13, Physica Verlag
-
S. Demri and E. Orlowska. Logical analysis of indiscernibility. E. Orlowska (editor), Incomplete Information : Rough Set Analysis. Studies in Fuzziness and Soft Computing 13, 347-380, Physica Verlag, 1998
-
(1998)
Logical Analysis of Indiscernibility
, pp. 347-380
-
-
Demri, S.1
Orlowska, E.2
-
11
-
-
53149107786
-
-
P. Petkov (editor), Mathematical Logic, Plenum Press
-
G. Gargov and S. Passy. A note on Boolean modal logic. P. Petkov (editor), Mathematical Logic. 299-309, Plenum Press, 1990
-
(1990)
A Note on Boolean Modal Logic
, pp. 299-309
-
-
Gargov, G.1
Passy, S.2
-
12
-
-
0002220480
-
-
D. Skordev (editor), Mathematical Logic and its Applications, Plenum Press
-
G. Gargov, S. Passy and T. Tinchev. Modal environment for Boolean speculations. D. Skordev (editor), Mathematical Logic and its Applications. 253-263, Plenum Press, 1987
-
(1987)
Modal Environment for Boolean Speculations
, pp. 253-263
-
-
Gargov, G.1
Passy, S.2
Tinchev, T.3
-
13
-
-
0001273055
-
-
Handbook of Philosophical Logic, Extensions of Classical Logic, Reidel
-
D. Harel. Dynamic logic. D. Gabbay and F. Guenthner (editors), Handbook of Philosophical Logic, Volume 2, Extensions of Classical Logic. 497-604, Reidel, 1984
-
(1984)
Dynamic Logic
, vol.2
, pp. 497-604
-
-
Harel, D.1
-
17
-
-
33749669435
-
-
G. Dorn, P. Weingartner ( editors), Foundations of Logic and Linguistics. Problems and Solutions. Selected Contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983, Plenum Press
-
E. Orlowska. Semantics of vague concepts. G. Dorn, P. Weingartner ( editors), Foundations of Logic and Linguistics. Problems and Solutions. Selected Contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983. 465-482, Plenum Press, 1983
-
(1983)
Semantics of Vague Concepts
, pp. 465-482
-
-
Orlowska, E.1
-
18
-
-
84992397806
-
-
A. Skowron (editor), Computation Theory. Lecture Notes in Computer Science 208, Springer-Verlag
-
E. Orlowska. Logic of indiscernibility relations. A. Skowron (editor), Computation Theory. Lecture Notes in Computer Science 208, 177-186, Springer-Verlag, 1985
-
(1985)
Logic of Indiscernibility Relations
, pp. 177-186
-
-
Orlowska, E.1
-
21
-
-
84981422039
-
-
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
-
E. Orlowska. Logic for reasoning about knowledge. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Volume 3.5, 559-572, 1989
-
(1989)
Logic for Reasoning About Knowledge
, vol.35
, pp. 559-572
-
-
Orlowska, E.1
-
22
-
-
84887446868
-
-
K. Kijania-Placek, J. Wolenski (editors),The Lvov Warsaw School and the Contemporary Philosophy. Kluwer, Dordrecht
-
E. Orlowska. Studying incompleteness of information : a class of information logics. K. Kijania-Placek, J. Wolenski (editors),The Lvov Warsaw School and the Contemporary Philosophy. Kluwer, Dordrecht, 1997, 303-320
-
(1997)
Studying Incompleteness of Information : A Class of Information Logics
, pp. 303-320
-
-
Orlowska, E.1
-
25
-
-
84887445062
-
-
P. Jorrand, V. Sgurev (editors), Artificial Intelligence 2, Methodology, Systems, Applications. North-Holland
-
D. Vakarelov. Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. P. Jorrand, V. Sgurev (editors), Artificial Intelligence II, Methodology, Systems, Applications. North-Holland, 255-260, 1987
-
(1987)
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information
, pp. 255-260
-
-
Vakarelov, D.1
|