The expressive power of memory logics

, , &
Review of Symbolic Logic 4 (2):290-318 (2011)
  Copy   BIBTEX

Abstract

We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the current memory. From this perspective, the hybrid logic (↓), for example, can be thought of as a particular case of a memory logic where the memory is an indexed list of elements of the domain

Categories

Keywords

Reprint years

DOI

10.1017/s1755020310000389

Links

PhilArchive



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

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

The modal logic of stepwise removal.Johan van Benthem, Krzysztof Mierzewski & Francesca Zaffora Blando - 2022 - Review of Symbolic Logic 15 (1):36-63.
Completeness results for memory logics.Carlos Areces, Santiago Figueira & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.
Completeness results for memory logics.Carlos Areces, Santiago Figueria & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.
19th workshop on logic, language, information and computation (wollic 2012).Luke Ong, Carlos Areces, Santiago Figueira & Ruy de Queiroz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Inconsistency-Adaptive Logics.Diderik Batens - 1999 - In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. pp. 445-472.
Deductive Systems and the Decidability Problem for Hybrid Logics.Michal Zawidzki - 2014 - Cambridge University Press.
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2):407-442.
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.
Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.

Analytics

Added to PP
2013-12-23

Downloads
31 (#502,760)

6 months
11 (#340,569)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
A Modal Logic for Supervised Learning.Alexandru Baltag, Dazhu Li & Mina Young Pedersen - 2022 - Journal of Logic, Language and Information 31 (2):213-234.
Completeness results for memory logics.Carlos Areces, Santiago Figueira & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.
Extending ALCQ with Bounded Self-Reference.Daniel Gorín & Lutz Schröder - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 300-316.

View all 6 citations / Add more citations

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Mathematical logic.Heinz-Dieter Ebbinghaus - 1996 - New York: Springer. Edited by Jörg Flum & Wolfgang Thomas.

View all 11 references / Add more references