Kripke semantics for knowledge representation logics
Studia LogicaPublished 1 June 1990
Ewa Orłowska
Citations78
SJR quartileQ1
SJR score0.63
SNIP1.25
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The proposals are made to extend the standard Kripke structures to the structures based on information systems and the underlying logics are defined and problems of their axiomatization are discussed.
Abstract
This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered.
Keywords
Computer Science
International Journal of Parallel ProgrammingRough sets
12,138 Citations1982Zdzis aw Pawlak
The presented approach may be considered as an alternative to fuzzy sets theory and tolerance theory and some applications are outlined.
Über Sinn und Bedeutung
1,287 Citations1892Gottlob Frege
Information SystemsInformation systems theoretical foundations
669 Citations1981Zdzisław Pawlak
The presented approach leads to a new information systems organization and the implementation shows many advantages compared with other methods.
Advice on Modal Logic
398 Citations1970Dana Scott
The present author has been noting the confusions, misdirections of emphasis, and duplications of effort current in studies of modal logic and is anxious to disseminate all kinds of valuable advice on the subject.
Theoretical Computer ScienceRepresentation of nondeterministic information
247 Citations1984Ewa Orłowska, Zdzisław Pawlak
A language is defined providing a language providing a means for defining nondeterministic information and deduction methods for the language are developed.
Banach Center PublicationsBanach Center Publications
196 Citations2008Anna Kowalska, Ryszard Łabęcki +4 more
Theoretical Computer ScienceDAL—A logic for data analysis
100 Citations1985Luís Fariñas del Cerro, Ewa Orłowska
A logic language for expressing data analysis problems is defined and a deductive system for the language to use proof procedures to obtain solutions to these problems is developed.
Studia LogicaLogic of nondeterministic information
69 Citations1985Ewa Orłowska
In the paper, a class of languages for representation o knowledge in those application areas when a complete information about a domain is not available are defined and modal operators determined by accessibility relations depending on parameters are introduced.
Semantics of Vague Concepts
65 Citations1985Ewa Orłowska
The present paper is an attempt to show that problems concerning semantics of vague concepts may find their proper foundation in the theory of rough sets originated by Pawlak (1982), and gives a formal framework to what is considered to be different ways of making vague concepts precise.
Studia LogicaApplication of modal logic to programming
64 Citations1980Vaughan Pratt
The modal logician's notion of possible world and the computer scientist's concept of state of a machine provide a point of commonality which can form the foundation of a logic of action.
Fundamenta InformaticaeRough Tolerance Equality and Tolerance Black Boxes
54 Citations1988Juhani Nieminen
Lecture notes in mathematicsMathematical Logic and Applications
11 Citations1989Shinoda, Juichi, Tugué, Tosiyuki +1 more
Journal of Symbolic LogicJohan van Benthem. A manual of intensional logic. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford1985, also distributed by the University of Chicago Press, 74 pp. - Johan van Benthem. A manual of intensional logic. Revised and expanded second edition. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford1988, also distributed by the University of Chicago Press, ix + 135 pp.
7 Citations1989R. A. Bull