A hierarchy of modal logics with relative accessibility relations

&
Journal of Applied Non-Classical Logics 9 (2-3):303-328 (1999)
  Copy   BIBTEX

Abstract

ABSTRACT In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1999.10510969

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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

A multimodal logic for closeness.A. Burrieza, E. Muñoz-Velasco & M. Ojeda-Aciego - 2017 - Journal of Applied Non-Classical Logics 27 (3):225-237.
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations.Marianna Nicolosi-Asmundo & Domenico Cantone - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag. pp. 169-202.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Normal Modal Logics Determined by Aligned Clusters.Zofia Kostrzycka & Yutaka Miyazaki - 2017 - Studia Logica 105 (1):1-11.
Continuous Accessibility Modal Logics.Caleb Camrud & Ranpal Dosanjh - 2022 - Journal of Philosophical Logic 52 (1):221-266.
Display calculi for logics with relative accessibility relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.
Modal completeness of sublogics of the interpretability logic IL.Taishi Kurahashi & Yuya Okawa - 2021 - Mathematical Logic Quarterly 67 (2):164-185.
Logics of Complementarity in Information Systems.Ivo Düntsch & Ewa Orłowska - 2000 - Mathematical Logic Quarterly 46 (2):267-288.
On intermediate justification logics.Nicholas Pischke - forthcoming - Logic Journal of the IGPL.

Analytics

Added to PP
2013-11-24

Downloads
9 (#1,281,906)

6 months
31 (#107,547)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ewa Orlowska
Institute of Telecommunications and Information Technology

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.
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning.Isabelle Bloch - 2002 - Journal of Applied Non-Classical Logics 12 (3):399-423.
Display calculi for logics with relative accessibility relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.

Add more citations

References found in this work

Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
Logic For Reasoning About Knowledge.Ewa Orlowska - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):559-572.
Logic of nondeterministic information.Ewa Orłowska - 1985 - Studia Logica 44 (1):91 - 100.

View all 7 references / Add more references