A modal characterization of indiscernibility and similarity relations in Pawlak's information systems

Proceedings of SPIE - The International Society for Optical Engineering

Volumn 6104, Issue , 2006, Pages 12-22

  Vakarelov, Dimiter ^a  

^a UNIVERSITY OF SOFIA   (Bulgaria)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS;

FINITE MODEL PROPERTY; INFORMATION LOGIC; PAWLAK'S INFORMATION SYSTEMS;

INFORMATION ANALYSIS;

EID: 33645965936     PISSN: 0277786X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, 53 (2001)
2. Demri, S., Orlowska, E.: Incomplete information: Structure, Inference, Complexity. Springer-Verlag Berlin Heidelberg (2002)
3. Orlowska, E., Pawlak, Z.: Representation of nondeterministic information. Theoretical Computer Science, 29 (1984) 27-39
4. Vakaxelov, D.: A Duality Between Pawlak's Knowledge Representation Systems and Bi-consequence Systems. Studia Logica, 55 (1995) 205-228
5. Vakarelov, D.: Information systems, similarity relations and modal logics. In: E. Orlowska (ed.): Incomplete information: Rough Set Analysis. Studies in Fuzziness and Soft Computing, 13, Phisica, Heidelberg (1998)