Intermediate logics in the setting of team semantics

DOI10.1007/978-3-031-47921-2_9MaRDI QIDQ6612815

Fan Yang, Nick Bezhanishvili

Publication date: 1 October 2024

zbMATH Keywords

intuitionistic logicintermediate logicsteam semanticsde Jongh formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional logics of dependence
• A generalization of inquisitive semantics
• Inquisitive logic
• Models for normal intuitionistic modal logics
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• Stable formulas in intuitionistic logic
• Inquisitive Heyting algebras
• On intermediate inquisitive and dependence logics: an algebraic study
• Questions and dependency in intuitionistic logic
• Universal models for the positive fragment of intuitionistic logic
• Intermediate logics admitting a structural hypersequent calculus
• Diego's theorem for nuclear implicative semilattices
• Algebras of Information States
• Model-theoretic and Computational Properties of Modal Dependence Logic
• Splitting lattices of logics
• Compositional semantics for a language of imperfect information
• Logics containing K4. Part I
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Modal dependence logics: axiomatizations and model-theoretic properties
• CHOICE-FREE STONE DUALITY
• Dependency as Question Entailment
• Splittings and the finite model property
• A Van Benthem Theorem for Modal Team Semantics
• NNIL-formulas revisited: Universal models and finite model property
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• A study of subminimal logics of negation and their modal companions

This page was built for publication: Intermediate logics in the setting of team semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612815)