Copertina

Levin's and Prucnal's theorems on Medvedev's logic of finite problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Přenosil, Adam
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Equational definitions of logical filters
di: Baldi, Michele Pra, et al.
Pubblicazione: (2024)

Duality for finitely valued algebras
di: Abbadini, Marco, et al.
Pubblicazione: (2025)

Pointed lattice subreducts of varieties of residuated lattices
di: Přenosil, Adam
Pubblicazione: (2023)

Sequent calculi for first-order ST
di: Paoli, Francesco, et al.
Pubblicazione: (2026)

Nagata products of bimodules over residuated lattices
di: Přenosil, Adam, et al.
Pubblicazione: (2025)

The Logics of Individual Medvedev Frames
di: Chen, Zhicheng, et al.
Pubblicazione: (2024)

Equivalence of multiset-based consequence relations
di: Madanshekaf, Ali, et al.
Pubblicazione: (2024)

On the structure of balanced residuated partially ordered monoids
di: Bonzio, Stefano, et al.
Pubblicazione: (2024)

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
di: Chen, Zhicheng
Pubblicazione: (2025)

Axiomatizing logics of finite Gödel-Kripke models
di: Vidal, Amanda, et al.
Pubblicazione: (2026)

Completeness theorems for modal logic in second-order arithmetic
di: Shimomichi, Sho, et al.
Pubblicazione: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
di: Grilletti, Gianluca, et al.
Pubblicazione: (2024)

Balanced residuated partially ordered semigroups
di: Bonzio, Stefano, et al.
Pubblicazione: (2025)

A joint logic of problems and propositions
di: Melikhov, Sergey A.
Pubblicazione: (2025)

Normalization and cut-elimination theorems for some logics of evidence and truth
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2024)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
di: Castaño, Diego, et al.
Pubblicazione: (2024)

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
di: Shamkanov, Daniyar
Pubblicazione: (2024)

The finite frame property of some extensions of the pure logic of necessitation
di: Kurahashi, Taishi, et al.
Pubblicazione: (2023)

The analogy theorem in Hoare logic
di: Nikita, Nikitin
Pubblicazione: (2025)

Canonicity in power and modal logics of finite achronal width
di: Goldblatt, Robert, et al.
Pubblicazione: (2022)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)

Degrees of the finite model property: the antidichotomy theorem
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)

Tableau methodology for propositional logics
di: Jarmuzek, T., et al.
Pubblicazione: (2025)

Constructive S4 modal logics with the finite birelational frame property
di: Balbiani, Philippe, et al.
Pubblicazione: (2024)

Intuitionistic logic, dual intuitionistic logic, and modality
di: Aryal, Safal Raman
Pubblicazione: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Extended multi-adjoint logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)

Modal definability in Euclidean modal logics
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Filling in the semantics for intuitionistic conditional logic
di: Dufty, Brendan, et al.
Pubblicazione: (2025)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

Superabelian logics
di: Cintula, Petr, et al.
Pubblicazione: (2024)

Further remarks on the dual negation in team logics
di: Anttila, Aleksi
Pubblicazione: (2024)

Intuitionistic monotone modal logic via translation
di: de Groot, Jim
Pubblicazione: (2025)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
di: Deakin, Jonte, et al.
Pubblicazione: (2025)

The interpolant existence problem for weak K4 and difference logic
di: Kurucz, Agi, et al.
Pubblicazione: (2024)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
di: Bauer, Esaïe, et al.
Pubblicazione: (2025)

Syntax and semantics of multi-adjoint normal logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)