On the public citation graph

Kripke semantics for knowledge representation logics

https://doi.org/10.1007/bf00935602
0 signed · 92 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/malq.19630090502openalex-snapshot
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
inferredcites →https://doi.org/10.1007/978-1-4899-0548-2_20openalex-snapshot
Semantics of Vague Concepts
inferredcites →https://doi.org/10.1007/978-94-010-3272-8_7openalex-snapshot
Advice on Modal Logic
inferredcites →https://doi.org/10.1007/bf00370324openalex-snapshot
Application of modal logic to programming
inferredcites →https://doi.org/10.1007/bf00370325openalex-snapshot
Applying modal logic
inferredcites →https://doi.org/10.1007/bf00370813openalex-snapshot
Logic of nondeterministic information
inferredcites →https://doi.org/10.1007/bf01001956openalex-snapshot
Rough sets
inferredcites →https://doi.org/10.1007/bfb0083663openalex-snapshot
Mathematical Logic and Applications
inferredcites →https://doi.org/10.1016/0304-3975(84)90010-0openalex-snapshot
Representation of nondeterministic information
inferredcites →https://doi.org/10.1016/0304-3975(85)90046-5openalex-snapshot
DAL—A logic for data analysis
inferredcites →https://doi.org/10.1016/0306-4379(81)90023-5openalex-snapshot
Information systems theoretical foundations
inferredcites →https://doi.org/10.1017/s0022481200041311openalex-snapshot
Johan 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…
inferredcites →https://doi.org/10.1515/dema-1983-0319openalex-snapshot
APPROXIMATIONS IN THE SPACE (U,π)
inferredcites →https://doi.org/10.3233/fi-1982-5106openalex-snapshot
Dynamic Information Systems
inferredcites →https://doi.org/10.3233/fi-1988-11306openalex-snapshot
Rough Tolerance Equality and Tolerance Black Boxes
inferredcites →https://doi.org/10.4064/-21-1-329-339openalex-snapshot
Kripke models with relative accessibility and their applications to inferences from incomplete information
inferredcites →https://doi.org/10.4064/bcopenalex-snapshot
Banach Center Publications

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11548669_66openalex-snapshot
Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics
inferred← citeshttps://doi.org/10.1007/11795131_24openalex-snapshot
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic
inferred← citeshttps://doi.org/10.1007/11795131_40openalex-snapshot
Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness – Part I
inferred← citeshttps://doi.org/10.1007/11795131_41openalex-snapshot
Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness – Part II
inferred← citeshttps://doi.org/10.1007/3-540-36280-0_2openalex-snapshot
Emptiness Relations in Property Systems
inferred← citeshttps://doi.org/10.1007/3-540-44652-4_68openalex-snapshot
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems
inferred← citeshttps://doi.org/10.1007/3-540-61313-7_61openalex-snapshot
Modal logics with relative accessibility relations
inferred← citeshttps://doi.org/10.1007/3-540-61550-4_146openalex-snapshot
A modal logic for data analysis
inferred← citeshttps://doi.org/10.1007/978-1-4471-3242-4_17openalex-snapshot
Logic of Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-030-29566-0_2openalex-snapshot
Overview of Rough Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-031-26622-5_2openalex-snapshot
Parametrized Modal Logic II: The Unidimensional Case
inferred← citeshttps://doi.org/10.1007/978-3-031-89610-1_11openalex-snapshot
A Semantics of Basic Modal Language via a Rough Set Framework
inferred← citeshttps://doi.org/10.1007/978-3-319-46206-6_15openalex-snapshot
A Propositional Logic System for Regular Double Stone Algebra
inferred← citeshttps://doi.org/10.1007/978-3-319-72691-5_4openalex-snapshot
Logical Characterizations of Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-319-97879-6_12openalex-snapshot
About the Complete Axiomatization of Dynamic Extensions of Arrow Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-99368-3_39openalex-snapshot
A Formal Study of a Generalized Rough Set Model Based on Relative Approximations
inferred← citeshttps://doi.org/10.1007/978-3-540-25929-9_4openalex-snapshot
Investigation about Time Monotonicity of Similarity and Preclusive Rough Approximations in Incomplete Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71200-8_1openalex-snapshot
Propositional Logics from Rough Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-540-71663-1_16openalex-snapshot
Granulation as a Privacy Protection Mechanism
inferred← citeshttps://doi.org/10.1007/978-3-540-79140-9_9openalex-snapshot
Emergent Semantics in Distributed Knowledge Management
inferred← citeshttps://doi.org/10.1007/978-3-642-02906-6_71openalex-snapshot
A Logic for Complete Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-03281-3_3openalex-snapshot
Lattices with Interior and Closure Operators and Abstract Approximation Spaces
inferred← citeshttps://doi.org/10.1007/978-3-642-14467-7_3openalex-snapshot
A Study of Multiple-Source Approximation Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15660-1_12openalex-snapshot
A Quantitative Analysis of Rough Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-28667-4_2openalex-snapshot
Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-642-30344-9_14openalex-snapshot
Algebras for Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-30344-9_3openalex-snapshot
Rough Sets: From Rudiments to Challenges
inferred← citeshttps://doi.org/10.1007/978-3-642-31903-7_4openalex-snapshot
Dialectics of Counting and the Mathematics of Vagueness
inferred← citeshttps://doi.org/10.1007/978-3-662-45563-0_38openalex-snapshot
Integrity Management in a Trusted Utilitarian Data Exchange Platform
inferred← citeshttps://doi.org/10.1007/978-3-662-53611-7_5openalex-snapshot
Multiple-Source Approximation Systems, Evolving Information Systems and Corresponding Logics: A Study in Rough Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-7908-1776-8_1openalex-snapshot
Rough Set Theory: An Introduction
inferred← citeshttps://doi.org/10.1007/978-3-7908-1840-6_10openalex-snapshot
Logical and Algebraic Techniques for Rough Set Data Analysis
inferred← citeshttps://doi.org/10.1007/978-3-7908-1888-8_16openalex-snapshot
Information Systems, Similarity Relations and Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-7908-1888-8_17openalex-snapshot
Axiomatization of Logics Based on Kripke Models with Relative Accessibility Relations
inferred← citeshttps://doi.org/10.1007/978-3-7908-1888-8_18openalex-snapshot
Rough Logics: A Survey with Further Directions
inferred← citeshttps://doi.org/10.1007/978-94-011-3534-4_7openalex-snapshot
Reasoning about Knowledge
inferred← citeshttps://doi.org/10.1007/978-981-19-8566-9_1openalex-snapshot
Fuzzy Sets and Rough Sets: A Mathematical Narrative
inferred← citeshttps://doi.org/10.1007/bf01053038openalex-snapshot
A duality between Pawlak's knowledge representation systems and bi-consequence systems
inferred← citeshttps://doi.org/10.1007/s10992-010-9163-1openalex-snapshot
A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base
inferred← citeshttps://doi.org/10.1016/j.fss.2009.01.004openalex-snapshot
Reasoning within expressive fuzzy rough description logics
inferred← citeshttps://doi.org/10.1016/j.ijar.2008.04.005openalex-snapshot
Formal reasoning with rough sets in multiple-source approximation systems
inferred← citeshttps://doi.org/10.1016/j.ijar.2008.06.003openalex-snapshot
Logics from Galois connections
inferred← citeshttps://doi.org/10.1016/j.ijar.2013.10.001openalex-snapshot
On the rough consistency measures of logic theories and approximate reasoning in rough logic
inferred← citeshttps://doi.org/10.1016/j.ijar.2013.11.003openalex-snapshot
A simple logic for reasoning about incomplete knowledge
inferred← citeshttps://doi.org/10.1016/j.ijar.2021.10.001openalex-snapshot
A formal study of a generalized rough set model based on subset approximation structure
inferred← citeshttps://doi.org/10.1016/j.ijar.2024.109305openalex-snapshot
Rough sets, modal logic and approximate reasoning
inferred← citeshttps://doi.org/10.1016/j.ijar.2025.109492openalex-snapshot
A formal study of a rough set model integrating relational and neighbourhood system approaches
inferred← citeshttps://doi.org/10.1016/j.ins.2006.06.003openalex-snapshot
Rudiments of rough sets
inferred← citeshttps://doi.org/10.1016/j.ins.2011.05.008openalex-snapshot
Algebraic models of deviant modal operators based on de Morgan and Kleene lattices
inferred← citeshttps://doi.org/10.1016/j.ins.2015.08.011openalex-snapshot
Rough set models in multigranulation spaces
inferred← citeshttps://doi.org/10.1016/j.ins.2015.11.038openalex-snapshot
Formal reasoning in preference-based multiple-source rough set model
inferred← citeshttps://doi.org/10.1016/j.ins.2020.03.097openalex-snapshot
Dynamic maintenance of rough approximations in multi-source hybrid information systems
inferred← citeshttps://doi.org/10.1016/j.ins.2024.121838openalex-snapshot
A semantics of the basic modal language based on a generalized rough set model
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.09.021openalex-snapshot
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
inferred← citeshttps://doi.org/10.1016/s0020-0255(02)00180-9openalex-snapshot
Neighborhood operator systems and approximations
inferred← citeshttps://doi.org/10.1016/s0020-0255(98)00012-7openalex-snapshot
Constructive and algebraic methods of the theory of rough sets
inferred← citeshttps://doi.org/10.1016/s0020-0255(98)10006-3openalex-snapshot
Relational interpretations of neighborhood operators and rough set approximation operators
inferred← citeshttps://doi.org/10.1016/s0218-4885(00)00007-1openalex-snapshot
An Overview of Rough Set Semantics for Modal and Quantifier Logics
inferred← citeshttps://doi.org/10.1023/a:1005235713913openalex-snapshot
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I
inferred← citeshttps://doi.org/10.1080/11663081.2024.2336385openalex-snapshot
A study of modal logic with semantics based on rough set theory
inferred← citeshttps://doi.org/10.1093/logcom/exaf057openalex-snapshot
Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization
inferred← citeshttps://doi.org/10.1142/s0218488500000071openalex-snapshot
AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
inferred← citeshttps://doi.org/10.1145/1970398.1970405openalex-snapshot
Logics for information systems and their dynamic extensions
inferred← citeshttps://doi.org/10.1145/3274664openalex-snapshot
A Simple Modal Logic for Reasoning in Multigranulation Rough Set Model
inferred← citeshttps://doi.org/10.1155/2013/592738openalex-snapshot
Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic
inferred← citeshttps://doi.org/10.12733/jics20101950openalex-snapshot
Theory of Truth Degrees in 3-Valued Propositional Pre-rough Logic
inferred← citeshttps://doi.org/10.14232/phd.1766openalex-snapshot
A special class of fuzzy operators and its application in modelling effects and decision problems
inferred← citeshttps://doi.org/10.3166/jancl.18.137-152openalex-snapshot
Hyper arrow logic with indiscernibility and complementarity
inferred← citeshttps://doi.org/10.3233/978-1-58603-782-6-106openalex-snapshot
Logic for Artificial Intelligence: A Rasiowa–Pawlak School Perspective
inferred← citeshttps://doi.org/10.3233/fi-1996-283401openalex-snapshot
Rough Sets Through Algebraic Logic
inferred← citeshttps://doi.org/10.3233/fi-1997-313401openalex-snapshot
Rough Sets and 3-valued Lukasiewicz Logic
inferred← citeshttps://doi.org/10.3233/fi-2011-393openalex-snapshot
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
inferred← citeshttps://doi.org/10.3233/fun-2002-503-401openalex-snapshot
A Modal Logic for Indiscernibility and Complementarity in Information Systems
inferred← citeshttps://doi.org/10.3233/fun-2002-52403openalex-snapshot
On Modal and Fuzzy Decision Logics Based on Rough Set Theory
inferred← citeshttps://doi.org/10.3233/jifs-172078openalex-snapshot
On generalization of rough sets by using two different methods
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.