Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2503.21850 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)
by: Aloni, Maria, et al.
Published: (2023)
Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)
by: Knudstorp, Søren Brinck
Published: (2026)
Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)
by: Knudstorp, Søren Brinck
Published: (2025)
Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
by: Knudstorp, Søren Brinck
Published: (2025)
by: Knudstorp, Søren Brinck
Published: (2025)
A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)
by: Anttila, Aleksi, et al.
Published: (2025)
Axiomatizing modal inclusion logic and its variants
by: Anttila, Aleksi, et al.
Published: (2023)
by: Anttila, Aleksi, et al.
Published: (2023)
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)
by: Anttila, Aleksi, et al.
Published: (2025)
The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)
by: Galatos, Nick, et al.
Published: (2026)
Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)
by: van Benthem, Johan, et al.
Published: (2025)
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)
by: Ghari, Meghdad
Published: (2014)
Vagueness and the Connectives
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)
by: Holliday, Wesley H., et al.
Published: (2022)
Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)
by: Protin, Clarence
Published: (2023)
Natural Term Logic
by: Protin, Clarence
Published: (2024)
by: Protin, Clarence
Published: (2024)
Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)
by: Puljujärvi, Joni, et al.
Published: (2022)
Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)
by: Ghari, Meghdad
Published: (2014)
A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)
by: Reyes, David, et al.
Published: (2021)
A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)
by: Allègre, Loïc, et al.
Published: (2024)
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)
by: Coniglio, Marcelo E.
Published: (2023)
Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)
by: Caleiro, Carlos, et al.
Published: (2024)
Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)
by: Moncayo, Jose, et al.
Published: (2024)
Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)
by: Jain, Esha, et al.
Published: (2025)
Strong Negation is Definable in 2Int
by: Oddsson, Hrafn Valtýr
Published: (2025)
by: Oddsson, Hrafn Valtýr
Published: (2025)
Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)
by: Zhuravlov, Volodymyr
Published: (2024)
Cartan subrings in soluble ranked Lie rings
by: Ntsiri, Jules Tindzogho, et al.
Published: (2025)
by: Ntsiri, Jules Tindzogho, et al.
Published: (2025)
Quelques résultats sur les anneaux de Lie qui n ' ont pas de chaine infinie de centralisateurs
by: Zamour, Samuel
Published: (2025)
by: Zamour, Samuel
Published: (2025)
Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
by: Nishimura, Yuki
Published: (2022)
by: Nishimura, Yuki
Published: (2022)
Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)
by: Galliani, Pietro
Published: (2025)
Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)
by: Bezhanishvili, Nick, et al.
Published: (2022)
Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)
by: Protin, Clarence
Published: (2022)
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)
by: Hartonas, Chrysafis
Published: (2023)
Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)
by: de Jong, Tom, et al.
Published: (2026)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)
by: Ayhan, Sara
Published: (2023)
Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)
by: Olkhovikov, Grigory K., et al.
Published: (2022)
A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)
by: Patrakeev, Mikhail
Published: (2023)
Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)
Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)
Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)
by: Inoué, Takao, et al.
Published: (2024)
Expressibility and inexpressibility in propositional team logics
by: Häggblom, Matilda, et al.
Published: (2025)
by: Häggblom, Matilda, et al.
Published: (2025)
Possible and impossible conditionals for team logics
by: Barbero, Fausto, et al.
Published: (2026)
by: Barbero, Fausto, et al.
Published: (2026)