Modal logics over lattices

&
Annals of Pure and Applied Logic 176 (4):103553 (2025)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2025.103553

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field.Dong Quan Ngoc Nguyen - 2024 - Annals of Pure and Applied Logic 175 (6):103438.
Modal logics, justification logics, and realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.
Lattices of modal logics and their groups of automorphisms.Marcus Kracht - 1999 - Annals of Pure and Applied Logic 100 (1-3):99-139.
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
On non-self-referential fragments of modal logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.
Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.
Admissible rules for six intuitionistic modal logics.Iris van der Giessen - 2023 - Annals of Pure and Applied Logic 174 (4):103233.
Frame definability in finitely valued modal logics.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2023 - Annals of Pure and Applied Logic 174 (7):103273.
Post complete and 0-axiomatizable modal logics.Fabio Bellissima - 1990 - Annals of Pure and Applied Logic 47 (2):121-144.
Finitary unification in locally tabular modal logics characterized.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2022 - Annals of Pure and Applied Logic 173 (4):103072.

Analytics

Added to PP
2025-01-14

Downloads
2 (#1,893,683)

6 months
2 (#1,686,184)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Yanjing Wang
Peking University
Xiaoyang Wang
National Sun Yat-sen University

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
Nominal tense logic.Patrick Blackburn - 1992 - Notre Dame Journal of Formal Logic 34 (1):56-83.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.

View all 16 references / Add more references