Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 19
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Marcelino, Sérgio and Caleiro, Carlos 2016. Decidability and complexity of fibred logics without shared connectives. Logic Journal of IGPL, p. jzw033.


    Neves, Renato Madeira, Alexandre Martins, Manuel A. and Barbosa, Luis S. 2016. Proof theory for hybrid(ised) logics. Science of Computer Programming, Vol. 126, p. 73.


    Lewitzka, Steffen 2015. A modal logic amalgam of classical and intuitionistic propositional logic. Journal of Logic and Computation, p. exv048.


    Pinto, Darllan C. 2015. A survey on categories of logics and algebraizable logics. São Paulo Journal of Mathematical Sciences, Vol. 9, Issue. 1, p. 76.


    Rasga, J. Sernadas, A. and Sernadas, C. 2014. Fibring as Biporting Subsumes Asymmetric Combinations. Studia Logica, Vol. 102, Issue. 5, p. 1041.


    Rasga, J. Sernadas, A. and Sernadas, C. 2013. Importing Logics: Soundness and Completeness Preservation. Studia Logica, Vol. 101, Issue. 1, p. 117.


    Voutsadakis, George 2013. Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems. Journal of Mathematics, Vol. 2013, p. 1.


    Bueno-Soler, J. 2012. Models for anodic and cathodic multimodalities. Logic Journal of IGPL, Vol. 20, Issue. 2, p. 458.


    Sernadas, A. Sernadas, C. and Rasga, J. 2012. On meet-combination of logics. Journal of Logic and Computation, Vol. 22, Issue. 6, p. 1453.


    Benzmüller, Christoph 2011. Combining and automating classical and non-classical logics in classical higher-order logics. Annals of Mathematics and Artificial Intelligence, Vol. 62, Issue. 1-2, p. 103.


    Caleiro, C. Gouveia, P. and Ramos, J. 2011. Hierarchical logical consequence. Logic Journal of IGPL, Vol. 19, Issue. 4, p. 544.


    Sernadas, A. Sernadas, C. and Rasga, J. 2011. On Combined Connectives. Logica Universalis, Vol. 5, Issue. 2, p. 205.


    Babenyshev, S. and Rybakov, V. 2010. Logics of Kripke meta-models. Logic Journal of IGPL, Vol. 18, Issue. 6, p. 823.


    Kurucz, Agi 2007. Handbook of Modal Logic.


    Gaifman, Haim 2006. 2005–06 Winter Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic, Vol. 12, Issue. 03, p. 503.


    Fernández, Víctor L. and Coniglio, Marcelo E. 2003. Combining Valuations with Society Semantics. Journal of Applied Non-Classical Logics, Vol. 13, Issue. 1, p. 21.


    Sernadas, Cristina Viganò, Luca Rasga, João and Sernadas, Amílcar 2003. Truth-values as labels: a general recipe for labelled deduction. Journal of Applied Non-Classical Logics, Vol. 13, Issue. 3-4, p. 277.


    2003. Many-Dimensional Modal Logics - Theory and Applications.


    Dixon, Clare Fisher, Michael and Bolotov, Alexander 2002. Clausal resolution in a logic of rational agency. Artificial Intelligence, Vol. 139, Issue. 1, p. 47.


    ×

Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics

  • D. M. Gabbay (a1)
  • DOI: http://dx.doi.org/10.2307/2275807
  • Published online: 01 March 2014
Abstract
Abstract

This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems Li, iI, to form a new system LI. The methodology ‘fibres’ the semantics i of Li into a semantics for LI, and ‘weaves’ the proof theory (axiomatics) of Li into a proof system of LI. There are various ways of doing this, we distinguish by different names such as ‘fibring’, ‘dovetailing’ etc, yielding different systems, denoted by etc. Once the logics are ‘weaved’, further ‘interaction’ axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics.

The main results of this paper is a construction for combining arbitrary, (possibly not normal) modal or intermediate logics, each complete for a class of (not necessarily frame) Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property.

Some results on combining logics (normal modal extensions of K) have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20–30 years. We hope our methodology will help organise the field systematically.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[3]W. J. Blok and D. Pigozzi , Algebraizable logics, Memoirs of AMS (1989), no. 396.

[4]M. Božić and K. Došen , Models for normal intuitionistic modal logics, Studio Logica, vol. 43 (1984), pp. 217245.

[5]R. A. Bull , A modal extension of intuitionist logic, Notre Dame Journal of Formal Logic, vol. 6 (1965).

[8]J. P. Delgrande , An approach to default reasoning based on a first order conditional logic, Artificial Intelligence, vol. 36 (1988), pp. 6390.

[10]K. Došen , Models for stronger normal intuitionistic modal logics, Studia Logica, vol. 44 (1985), pp. 3970.

[16]M. Finger and D. M. Gabbay , Adding a temporal dimension to a logic, Journal of Logic, Language and Information, vol. 1 (1992), pp. 203233.

[18]G. Fischer-Servi , Semantics for a class of intuitionistic modal calculi, Italian studies in the philosophy of science (M. L. Dalla Chiara , editor), D. Reidel, 1980, pp. 5971.

[22]M. Fitting , Logics with several modal operators, Theoria, vol. 35 (1969), pp. 259266.

[25]J. M. Font , Modality and possibility in some intuitionistic modal logic, Notre Dame Journal of Formal logic, vol. 27 (1986), pp. 533546.

[31]V. Goranko and S. Passy , Using the universal modality: Gains and questions, Journal of Logic and Computation, vol. 2 (1992), pp. 530.

[34]A. J. I. Jones and I. Pörn , ‘Ought’ and ‘must’, Synthese, vol. 66 (1986).

[38]H. Ono , On some intuitionistic modal logic, Publications Research Institute Mathematical Science, vol. 13 (1977), pp. 687722.

[40]J. Pfalzgraf , A note on simplexes as geometric configurations, Archiv der Mathematik, vol. 49 (1987), pp. 134140.

[41]J. Pfalzgraf , Logical fiberings and polycontextural systems, Fundamentals of artificial intelligence research (Ph. Jorrand and J. Kelemen , editors), Springer-Verlag, 1991, LNCS 535.

[44]N. Y. Suzuki , An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Studia Logica, vol. 48 (1988), pp. 141155.

[45]N. Y. Suzuki , Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics, Studia Logica, vol. 49 (1990), pp. 289306.

[46]D. Wijesekera , Constructive modal logic 1, Annals of Pure and Applied Logic, vol. 50 (1990), pp. 271301.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×