Image de couverture de livre

Fragments of Some Subintuitionistic Logics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Maleki, Fatemeh Shirmohammadzadeh, de Jongh, Dick
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Natural Deduction systems for some weak Subintuitionistic Logics
par: Maleki, Fatemeh Shirmohammadzadeh
Publié: (2024)

Sequent Calculi for some subintuitionistic Logics
par: Maleki, Fatemeh Shirmohammadzadeh
Publié: (2024)

Sequent calculus for the subintuitionistic logic ${\sf WF_{N_{2}}} $
par: Maleki, Fatemeh Shirmohammadzadeh
Publié: (2025)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
par: Lyon, Tim S.
Publié: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Some Epistemic Extensions of Gödel Fuzzy Logic
par: Dastgheib, D., et autres
Publié: (2016)

Modal Fragments
par: Bezhanishvili, Nick, et autres
Publié: (2026)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
par: Ito, Sohei, et autres
Publié: (2025)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
par: Artale, Alessandro, et autres
Publié: (2022)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
par: Bednarczyk, Bartosz, et autres
Publié: (2025)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
par: Fiuk, Oskar, et autres
Publié: (2024)

Capturing relational NEXPTIME with a Fragment of Existential Third Order Logic
par: José M. Turull-Torres
Publié: (2015)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
par: Elad, Neta, et autres
Publié: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
par: Joshi, Varad, et autres
Publié: (2025)

Logic of the Great, Logic of the Wise 2
par: Fedorchenko, Mikhail
Publié: (2026)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
par: Lutz, Carsten, et autres
Publié: (2024)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
par: de Groot, Jim, et autres
Publié: (2024)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)