The succinctness of first-order logic over modal logic via a formula size game

&
In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 491-419 (2016)
  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: 91,219

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

First-order definability in modal logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Some Exponential Lower Bounds on Formula-size in Modal Logic.Hans van Ditmarsch, Wiebe van der Hoek & Petar Iliev - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 139-157.
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
First-Order Modal Logic with an 'Actually' Operator.Yannis Stephanou - 2005 - Notre Dame Journal of Formal Logic 46 (4):381-405.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Abstract argument games via modal logic.Davide Grossi - 2013 - Synthese 190 (S1).
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.
IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
On Modal μ-Calculus and Gödel-Löb Logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145-169.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.

Analytics

Added to PP
2018-02-24

Downloads
3 (#1,650,745)

6 months
1 (#1,459,555)

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

Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Studia Logica 65 (2):278-282.
Some Exponential Lower Bounds on Formula-size in Modal Logic.Hans van Ditmarsch, Wiebe van der Hoek & Petar Iliev - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 139-157.

Add more references