Image de couverture de livre

Strong standard completeness theorems for S5-modal Lukasiewicz logics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Castaño, Diego, Varela, José Patricio Díaz, Savoy, Gabriel
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Strong completeness for the predicate logic of the continuous t-norms
par: Castaño, Diego, et autres
Publié: (2024)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
par: Castaño, Diego, et autres
Publié: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
par: Haniková, Zuzana, et autres
Publié: (2025)

On the local consequence of modal Product logic: standard completeness and decidability
par: Vidal, Amanda
Publié: (2023)

Terms that define nuclei on residuated lattices: a case study of BL-algebras
par: Buss, Sebastián, et autres
Publié: (2024)

Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
par: Di Nola, Antonio, et autres
Publié: (2024)

Rational Lukasiewicz logic and DMV-algebras
par: Gerla, Brunella
Publié: (2012)

Completeness theorems for modal logic in second-order arithmetic
par: Shimomichi, Sho, et autres
Publié: (2025)

A Basic Łukasiewicz m-valued conditional logic
par: Huo, Shuquan
Publié: (2024)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

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

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
par: Aryal, Safal Raman
Publié: (2024)

Minimal modal logics, constructive modal logics and their relations
par: Dalmonte, Tiziano
Publié: (2023)

Complexity of Abduction in Łukasiewicz Logic
par: Inoue, Katsumi, et autres
Publié: (2025)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

More on modal logics and deduction
par: Gyenis, Zalán, et autres
Publié: (2026)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

Strong completeness of a first-order temporal logic for real time
par: Goldblatt, Robert
Publié: (2023)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
par: Wei, Jin
Publié: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Łukasiewicz Logic with Actions for Neural Networks training
par: Leuştean, Ioana, et autres
Publié: (2025)

Labelled calculi for lattice-based modal logics
par: van der Berg, Ineke, et autres
Publié: (2024)

A note on the modal logic of symmetric extensions
par: Duncan, Hope
Publié: (2026)

The modal logic of arithmetic potentialism and the universal algorithm
par: Hamkins, Joel David
Publié: (2018)

Strong quasi-MV* algebras and their logics
par: Cai, Lei, et autres
Publié: (2025)

The unification type of Lukasiewicz logic with a bounded number of variables
par: Abbadini, Marco, et autres
Publié: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

Arithmetical completeness for some extensions of the pure logic of necessitation
par: Kogure, Haruka
Publié: (2024)

A meta-modal logic for bisimulations
par: Burrieza, Alfredo, et autres
Publié: (2025)

Simple tableaux for two expansions of Gödel modal logic
par: Bilkova, Marta, et autres
Publié: (2024)

Topological product of modal logics with the McKinsey axiom
par: Kudinov, Andrey
Publié: (2024)

On Many-logic modal structures and information-based logics
par: Martins, Manuel, et autres
Publié: (2026)

Finite Kripke models and provability interpretations in quantified modal logic
par: Kogure, Haruka, et autres
Publié: (2026)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
par: Bilkova, Marta, et autres
Publié: (2023)

On a Question of Hamkins and Löwe on the modal logic of collapse forcing
par: Golshani, Mohammad, et autres
Publié: (2016)

Complexity of Łukasiewicz Modal Probabilistic Logics
par: Kozhemiachenko, Daniil, et autres
Publié: (2025)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
par: Přenosil, Adam
Publié: (2024)