A Lindström characterisation of the guarded fragment and of modal logic with a global modality

&
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 273-287 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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 new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Modal and guarded characterisation theorems over finite transition systems.Martin Otto - 2004 - Annals of Pure and Applied Logic 130 (1-3):173-205.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373-409.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
On Modal μ-Calculus and Gödel-Löb Logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145-169.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Modal logic, truth, and the master modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.
Is modal logic logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
Modality, si! Modal logic, no!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.
A Tableau Algorithm for the Clique Guarded Fragment.Colin Hirsch & Stephan Tobies - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 257-277.

Analytics

Added to PP
2018-02-17

Downloads
8 (#1,322,157)

6 months
4 (#797,974)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.
Coalgerbraic Lindströom Theorems.Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 292-309.

Add more citations

References found in this work

Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 2017 - Cambridge University Press.
Modal and guarded characterisation theorems over finite transition systems.Martin Otto - 2004 - Annals of Pure and Applied Logic 130 (1-3):173-205.
A new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.

Add more references