Decidability and complexity of fibred logics without shared connectives

&
Logic Journal of the IGPL 24 (5) (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzw033

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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 Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga - 2011 - Logica Universalis 5 (2):205-224.
Fibred and Indexed Categories for Abstract Model Theory.Alfio Martini, Uwe Wolter & E. Haeusler - 2007 - Logic Journal of the IGPL 15 (5-6):707-739.
Decidability for some justification logics with negative introspection.Thomas Studer - 2013 - Journal of Symbolic Logic 78 (2):388-402.
Fibred semantics and the weaving of logics part 1: Modal and intuitionistic logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Logics of Kripke meta-models.Sergey Babenyshev & Vladimir Rybakov - 2010 - Logic Journal of the IGPL 18 (6):823-836.
The Unrestricted Combination of Temporal Logic Systems.Marcelo Finger & M. Weiss - 2002 - Logic Journal of the IGPL 10 (2):165-189.
From fibring to cryptofibring. A solution to the collapsing problem.Carlos Caleiro & Jaime Ramos - 2007 - Logica Universalis 1 (1):71-92.
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe - 2013 - Logica Universalis 7 (1):33-69.
Products, or how to create modal logics of high complexity.M. Marx & S. Mikulás - 2001 - Logic Journal of the IGPL 9 (1):71-82.
Hybrid logics of separation axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
Fibred semantics for feature-based grammar logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.
Decidability of Logics Based on an Indeterministic Metric Tense Logic.Yan Zhang & Kai Li - 2015 - Studia Logica 103 (6):1123-1162.
On decision procedures for sentential logics.Tomasz Skura - 1991 - Studia Logica 50 (2):173 - 179.
Noisy vs. Merely Equivocal Logics.Patrick Allo - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 57--79.

Analytics

Added to PP
2016-06-30

Downloads
28 (#569,795)

6 months
4 (#790,394)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.
Fibring: completeness preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.
Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.
An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.

View all 12 references / Add more references