Completeness results for memory logics

, &
Annals of Pure and Applied Logic 163 (7):961-972 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.09.005

Other Versions

No versions found

Links

PhilArchive



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

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

Completeness results for memory logics.Carlos Areces, Santiago Figueira & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.
Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.
On Kripke completeness of modal predicate logics around quantified K5.Valentin Shehtman - 2023 - Annals of Pure and Applied Logic 174 (2):103202.
Strong standard completeness theorems for S5-modal Łukasiewicz logics.Diego Castaño, José Patricio Díaz Varela & Gabriel Savoy - 2025 - Annals of Pure and Applied Logic 176 (3):103529.
Completeness results for intuitionistic and modal logic in a categorical setting.M. Makkai & G. E. Reyes - 1995 - Annals of Pure and Applied Logic 72 (1):25-101.
On arithmetical completeness of the logic of proofs.Sohei Iwata & Taishi Kurahashi - 2019 - Annals of Pure and Applied Logic 170 (2):163-179.
Provability logic and the completeness principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.
A completeness proof for adapted probability logic.H. Jerome Keisler - 1986 - Annals of Pure and Applied Logic 31:61-70.
Structural and universal completeness in algebra and logic.Paolo Aglianò & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (3):103391.
Modal logics, justification logics, and realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.

Analytics

Added to PP
2017-02-19

Downloads
19 (#1,063,142)

6 months
7 (#671,981)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Hybrid completeness.P. Blackburn & M. Tzakova - 1998 - Logic Journal of the IGPL 6 (4):625-650.

Add more references