Rough polyadic modal logics

Journal of Applied Non-Classical Logics 1 (1):9-35 (1991)
  Copy   BIBTEX

Abstract

Rough polyadic modal logics, introduced in the paper, contain modal operators of many arguments with a relational semantics, based on the Pawlak's rough set theory. Rough set approach is developed as an alternative to the fuzzy set philosophy, and has many applications in different branches in Artificial Intelligence and theoretical computer science.

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1991.10510769

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

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

Simulating polyadic modal logics by monadic ones.George Goguadze, Carla Piazza & Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):419-462.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Intuitionistic modal logics incompatible with the law of the excluded middle.Dimiter Vakarelov - 1981 - Studia Logica 40 (2):103 - 111.
Hereditarily structurally complete modal logics.V. V. Rybakov - 1995 - Journal of Symbolic Logic 60 (1):266-288.

Analytics

Added to PP
2014-01-21

Downloads
16 (#894,465)

6 months
2 (#1,214,131)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Many-dimensional arrow logics.Dimiter Vakarelov - 1996 - Journal of Applied Non-Classical Logics 6 (4):303-345.

Add more citations

References found in this work

A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.
An Essay in Classical Modal Logic.Karl Krister Segerberg - 1971 - Dissertation, Stanford University

Add more references