Image de couverture de livre

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Stanković, Marko, Ćirić, Miroslav, Ignjatović, Jelena
Format:	Preprint
Publié:	2025
Sujets:	Logic 03B45, 03B50, 03B52, 03E72 F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards a logic of affordances
par: Gruszczynski, Rafal, et autres
Publié: (2025)

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

Justification Logics in a Fuzzy Setting
par: Ghari, Meghdad
Publié: (2014)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
par: Forster, Jonas, et autres
Publié: (2023)

The Logic of Correct Models
par: Aguilera, Juan Pablo, et autres
Publié: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
par: Bezhanishvili, Nick, et autres
Publié: (2022)

Adding an Implication to Logics of Perfect Paradefinite Algebras
par: Greati, Vitor, et autres
Publié: (2023)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
par: Gallardo, Andrés, et autres
Publié: (2024)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
par: Forster, Jonas, et autres
Publié: (2026)

Kripke-like models of Set Theory in Modal Residuated Logic
par: Moncayo, Jose, et autres
Publié: (2024)

More on expressibility of satisfiability in submodels and extensions
par: Poliakov, Nikolai L., et autres
Publié: (2026)

First-Order Fischer Servi Logic
par: Christensen, Ahmee
Publié: (2024)

Sufficient conditions for local tabularity of a polymodal logic
par: Shapirovsky, Ilya B.
Publié: (2022)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
par: Knudstorp, Søren Brinck
Publié: (2025)

Lewis and Brouwer meet Strong Löb
par: Visser, Albert, et autres
Publié: (2024)

Dismantling the Surprise Test "Paradox"
par: Dietzfelbinger, Martin
Publié: (2026)

Degree of Kripke-incompleteness of Tense Logics
par: Chen, Qian
Publié: (2025)

Pretabular Tense Logics over S4t
par: Chen, Qian
Publié: (2024)

Cardinality in a paraconsistent and paracomplete set theory
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
par: Lyon, Tim S.
Publié: (2025)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
par: Forster, Jonas, et autres
Publié: (2023)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)

Left-continuous pseudo-t-norms on modular lattices
par: He, Peng, et autres
Publié: (2025)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
par: Lücke, Philipp
Publié: (2024)

Possibility Semantics
par: Holliday, Wesley H.
Publié: (2024)

A Python Framework for Neutrosophic Sets and Mappings
par: Nordo, Giorgio, et autres
Publié: (2024)

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

Algebraizable Weak Logics
par: Nakov, Georgi, et autres
Publié: (2022)

First-Order Modal Logic via Logical Categories
par: Ghilardi, Silvio, et autres
Publié: (2025)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2024)

Logical connectives of fuzzy soft set theory
par: Acharjee, Santanu, et autres
Publié: (2024)

On the Contingency of Logic in Possible World Semantics
par: van der Giessen, Iris, et autres
Publié: (2025)

Natural Term Logic
par: Protin, Clarence
Publié: (2024)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
par: Baldwin, John T., et autres
Publié: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
par: Baldwin, John T., et autres
Publié: (2026)

Intuitionistic Common Knowledge
par: Zenger, Lukas
Publié: (2026)

Locally tabular products of modal logics
par: Shapirovsky, Ilya B., et autres
Publié: (2024)

Failure of Esakia's theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Modal Semantics for Reasoning with Probability and Uncertainty
par: Guallart, Nino
Publié: (2024)