Kripke semantics for knowledge representation logics

Studia Logica 49 (2):255 - 272 (1990)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf00935602

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Refined common knowledge logics or logics of common information.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (2):179-200.
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety.Dimiter Vakarelov - 1989 - Studia Logica 48 (4):565 - 575.
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems.Prosenjit Howlader & Mohua Banerjee - 2023 - Journal of Logic, Language and Information 32 (1):117-146.
Swap Kripke Models for Deontic LFIs.Mahan Vaz & Marcelo E. Coniglio - forthcoming - Logic and Logical Philosophy.
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.Yaroslav Petrukhin - 2024 - Journal of Logic, Language and Information 33 (2):179-196.
Cut-free sequent calculi for some tense logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
Logics of similarity and their dual tableaux. A survey.Joanna Golińska-Pilarek & Ewa Orlowska - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz, Preferences and Similarities. Springer. pp. 129--159.
Fusion of sequent modal logic systems labelled with truth values.João Rasga, Karina Roggia & Cristina Sernadas - 2010 - Logic Journal of the IGPL 18 (6):893-920.
Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.
Multimodal Incompleteness Under Weak Negations.Juliana Bueno-Soler - 2013 - Logica Universalis 7 (1):21-31.

Analytics

Added to PP
2009-01-28

Downloads
124 (#371,448)

6 months
5 (#1,612,624)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A study of modal logic with semantics based on rough set theory.Md Aquil Khan, Ranjan & Amal Talukdar - 2024 - Journal of Applied Non-Classical Logics 34 (2):223-247.
Hyper arrow logic with indiscernibility and complementarity.Philippe Balbiani - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):137-152.

Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Ueber Sinn und Bedeutung (Summary).Gottlob Frege - 1892 - Philosophical Review 1 (5):574-575.
Advice on modal logic.D. Scott - 1980 - In Karel Lambert, Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 143--173.
Application of modal logic to programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2):257 - 274.

View all 8 references / Add more references