A duality between Pawlak's knowledge representation systems and bi-consequence systems

Studia Logica 55 (1):205 - 228 (1995)
  Copy   BIBTEX


A duality between Pawlak's knowledge representation systems and certain information systems of logical type, called bi-consequence systems is established. As an application a first-order characterization of some informational relations is given and a completeness theorem for the corresponding modal logic INF is proved. It is shown that INF possesses finite model property and hence is decidable.



    Upload a copy of this work     Papers currently archived: 86,507

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

23 (#559,670)

6 months
1 (#870,792)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Query.[author unknown] - 1989 - Newsletter of the Society for the Advancement of American Philosophy 17 (52):9-9.

View all 6 references / Add more references