Logics of Infinite Depth

In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 435-448 (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,423

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 Pretabular Logics in NExtK4.Shan Du - 2014 - Studia Logica 102 (5):931-954.
Substitution Frege and extended Frege proof systems in non-classical logics.Emil Jeřábek - 2009 - Annals of Pure and Applied Logic 159 (1-2):1-48.
On Pretabular Logics in NExtK4 (Part I).Shan Du & Hongkui Kang - 2014 - Studia Logica 102 (3):499-523.
Finite-valued reductions of infinite-valued logics.Aguzzoli Stefano & Gerla Brunella - 2002 - Archive for Mathematical Logic 41 (4):361-399.
$\mathbb{Z}$-graded Lie superalgebras of infinite depth and finite growth.Nicoletta Cantarini - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (3):545-568.
Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Products of ‘transitive” modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
Products of 'transitive' modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
Non-finitely axiomatisable two-dimensional modal logics.Agi Kurucz & Sérgio Marcelino - 2012 - Journal of Symbolic Logic 77 (3):970-986.
Dialogue Games for Many-Valued Logics — an Overview.C. G. Fermüller - 2008 - Studia Logica 90 (1):43-68.
Modal logics for reasoning about infinite unions and intersections of binary relations.Natasha Alechina, Philippe Balbiani & Dmitry Shkatov - 2012 - Journal of Applied Non-Classical Logics 22 (4):275 - 294.
Compact propositional Gödel logics.Matthias Baaz & Richard Zach - 1998 - In Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. IEEE Press. pp. 108-113.
On axiomatization of many-valued logics associated with formalization of plausible reasonings.O. M. Anshakov, V. K. Finn & D. P. Skvortsov - 1989 - Studia Logica 48 (4):423 - 447.
Arrow logic and infinite counting.Ágnes Kurucz - 2000 - Studia Logica 65 (2):199-222.
Semantic Decision Procedures for Some Relevant Logics.Ross Brady - 2003 - Australasian Journal of Logic 1:4-27.

Analytics

Added to PP
2018-02-24

Downloads
7 (#1,360,984)

6 months
2 (#1,240,909)

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.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
Tools and Techniques in Modal Logic.Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.
Modal logics with functional alternative relations.Krister Segerberg - 1986 - Notre Dame Journal of Formal Logic 27 (4):504-522.

Add more references