A hierarchy of modal logics with relative accessibility relations

Journal of Applied Non-Classical Logics

Volumn 9, Issue 2-3, 1999, Pages 303-328

  Balbiani, Philippe ^a   Orlowska, Ewa ^b  

^a Laboratoire d'informatique de Paris Nord   (France)

^b Institute of Telecommunications   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0003612364     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1999.10510969     Document Type: Article

References (27)

1. 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
2. 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
3. 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
4. R. Danecki. Nondeterministic propositional dynamic logic with intersection is decidable. A. Skowron (editor), Computation Theory. Lecture Notes in Computer Science 208, 34-53, Springer-Verlag, 1985
5. S. Demri. The validity problem for DALLA is decidable. Bulletin of the Polish Academy of Sciences, Mathematics, Volume 4, 79-86, 1996
6. S. Demri. A completeness proof for a logic with an alternative necessity operator. Studia Logica, Volume 58, 99-112, 1997
7. 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
8. R. Fagin, J. Halpern and M. Vardi. What can machines know ? On the properties of knowledge in distributed systems. Journal of the ACM. Volume 39, 328-376, 1992
9. L. Farin̄as del Cerro and E. Orlowska. DAL - a logic for data analysis. Theoretical Computer Science, Volume 36, 251-264, 1985
10. G. Gargov. Two completeness theorems in the logic for data analysis. Tech. Report 581, Institute of Computer Science, Polish Academy of Sciences, Warsaw, 1986
11. G. Gargov and S. Passy. A note on Boolean modal logic. P. Petkov (editor), Mathematical Logic. 299-309, Plenum Press, 1990
12. 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
13. D. Harel. Dynamic logic. D. Gabbay and F. Guenthner (editors), Handbook of Philosophical Logic, Volume 2, Extensions of Classical Logic. 497-604, Reidel, 1984
14. W. van der Hoek and J.-J. Meyer. Making some issues of implicit knowledge explicit. Foundations of Computer Science, Volume 3. 193-223, 1992
15. B. Konikowska. A formal language for reasoning about indiscernibility. Bulletin of the Polish Academy of Sciences, Mathematics, Volume 35, 239-249, 1987
16. B. Konikowska. A logic for reasoning about relative similarity. Studia Logica, Volume 58, 185-226, 1997
17. 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
18. E. Orlowska. Logic of indiscernibility relations. A. Skowron (editor), Computation Theory. Lecture Notes in Computer Science 208, 177-186, Springer-Verlag, 1985
19. E. Orlowska. Logic of nondeterministic information. Studia Logica, Volume 44, 93-102, 1985
20. E. Orlowska. Kripke models with relative accessibility and their application to inferences from incomplete information. G. Mirkowska, H. Rasiowa (editors), Mathematical Problems in Computation Theory. Banach Center Publications 21, 329-339, 1988
21. E. Orlowska. Logic for reasoning about knowledge. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Volume 3.5, 559-572, 1989
22. 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
23. E. Orlowska (editor). Incomplete Information : Rough Set Analysis. Studies in Fuzziness and Soft Computing 13, Physica-Verlag. 1998
24. S. Read. Thinking about Logic. Oxford University Press, 1994
25. 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
26. D. Vakarelov. Modal logics for knowledge representation systems. Theoretical Computer Science, Volume 90, 433-456, 1991
27. D. Vakarelov. A modal logic for similarity relations in Pawlak knowledge representation systems. Fundamenta Informaticæ, Volume 15, 61-79, 1991