Intermediate logics in the setting of team semantics
From MaRDI portal
Publication:6612815
DOI10.1007/978-3-031-47921-2_9MaRDI QIDQ6612815
Publication date: 1 October 2024
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)