Buchumschlag

A joint logic of problems and propositions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Melikhov, Sergey A.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

Expressibility and inexpressibility in propositional team logics
von: Häggblom, Matilda, et al.
Veröffentlicht: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

Set-like operations on propositional logic programs
von: Antić, Christian
Veröffentlicht: (2026)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
von: Kurahashi, Taishi
Veröffentlicht: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

On propositional logic semirings
von: Li, Wenxi, et al.
Veröffentlicht: (2024)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
von: Slavnov, Sergey
Veröffentlicht: (2023)

Apartness relations between propositions
von: Zoltan A. Kocsis
Veröffentlicht: (2024)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
von: Přenosil, Adam
Veröffentlicht: (2024)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

The category of propositional deductive systems
von: Russo, Ciro
Veröffentlicht: (2025)

The higher dimensional propositional calculus
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2022)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

Apartness relations between propositions
von: Kocsis, Zoltan A.
Veröffentlicht: (2022)

Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

A logic of judgmental existence and its relation to proof irrelevance
von: Pezlar, Ivo
Veröffentlicht: (2024)

Superabelian logics
von: Cintula, Petr, et al.
Veröffentlicht: (2024)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)

Further remarks on the dual negation in team logics
von: Anttila, Aleksi
Veröffentlicht: (2024)

A logic for instrumental obligation
von: Yan, Jialiang, et al.
Veröffentlicht: (2025)

A logic of co-valuations
von: Malicki, Maciej
Veröffentlicht: (2025)

The interpolant existence problem for weak K4 and difference logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2024)

Comparing differentiable logics for learning with logical constraints
von: Flinkow, Thomas, et al.
Veröffentlicht: (2024)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)