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

DOI10.2307/2275807zbMath0872.03007OpenAlexW2022355674MaRDI QIDQ3128464

Dov M. Gabbay

Publication date: 5 October 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275807

zbMATH Keywords

modal logicdecidabilityalgebraic logicfinite model propertyintuitionistic logicsuperintuitionistic logiccombining logicsrecursive axiomatizabilityfibred semanticsweaving of logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Algebraic logic (03G99) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (19)

Categorical abstract algebraic logic: meet-combination of logical systems ⋮ Importing logics: soundness and completeness preservation ⋮ Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ On combined connectives ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ A survey on categories of logics and algebraizable logics ⋮ Distributed knowability and Fitch's paradox ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Failure of interpolation in combined modal logics ⋮ IPL: an integration property language for multi-model cyber-physical systems ⋮ Combination of constraint systems II: Rational amalgamation ⋮ Editors' introduction to the special issue on combining logics ⋮ Combining temporal logic systems ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ Combining Valuations with Society Semantics ⋮ Combining fragments of classical logic: when are interaction principles needed? ⋮ 2005–06 Winter Meeting of the Association for Symbolic Logic ⋮ Clausal resolution in a logic of rational agency

Cites Work

• Unnamed Item
• Unnamed Item
• Constructive modal logics. I
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Modality and possibility in some intuitionistic modal logics
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A note on simplices as geometric configurations
• On some intuitionistic modal logics
• Adding a temporal dimension to a logic system
• Properties of independently axiomatizable bimodal logics
• Using the Universal Modality: Gains and Questions

This page was built for publication: Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics