On IF Modal Logic and its Expressive Power

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 475-498 (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: 91,853

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

On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics.Rohan French - 2015 - Studia Logica 103 (2):239-263.
Hybrid logic meets if modal logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.
The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Expressive power, mood, and actuality.Rohan French - 2013 - Synthese 190 (9):1689-1699.
The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
The Modal Logic of Inequality.Maarten De Rijke - 1992 - Journal of Symbolic Logic 57 (2):566 - 584.
Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.Thomas Eiter & Georg Gottlob - 1998 - Journal of Symbolic Logic 63 (1):73-82.
The expressive power of memory logics.Carlos Areces, Diego Figueira, Santiago Figueira & Sergio Mera - 2011 - Review of Symbolic Logic 4 (2):290-318.
On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 481-501.
Modal logic should say more than it does.Melvin Fitting - unknown

Analytics

Added to PP
2018-02-17

Downloads
9 (#1,253,837)

6 months
3 (#976,504)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tero Tulenheimo
Tampere University

Citations of this work

Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.
Louis Joly as a Platonist Painter?Roger Pouivet - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 337--341.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references