Imagen de Portada

Non-Expansive Fuzzy Coalgebraic Logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gebhart, Stefan, Schröder, Lutz, Wild, Paul
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Non-expansive Fuzzy ALC
por: Gebhart, Stefan, et al.
Publicado: (2025)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
por: Beohar, Harsh, et al.
Publicado: (2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
por: Forster, Jonas, et al.
Publicado: (2023)

Efficient Coalgebraic Partition Refinement
por: Dorsch, Ulrich, et al.
Publicado: (2017)

A Coalgebraic Semantics for Intuitionistic Modal Logic
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2024)

An Expressive Coalgebraic Modal Logic for Cellular Automata
por: Basold, Henning, et al.
Publicado: (2025)

A Categorical Approach to Coalgebraic Fixpoint Logic
por: Schoen, Ezra, et al.
Publicado: (2024)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
por: Hausmann, Daniel, et al.
Publicado: (2022)

Relators and Notions of Simulation Revisited
por: Goncharov, Sergey, et al.
Publicado: (2025)

The Only Distributive Law Over the Powerset Monad Is the One You Know
por: Goncharov, Sergey, et al.
Publicado: (2026)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
por: Kori, Mayuko
Publicado: (2026)

Behavioural Conformances based on Lax Couplings
por: Wild, Paul, et al.
Publicado: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
por: Gallardo, Andrés, et al.
Publicado: (2024)

Coalgebraic Behavioral Metrics
por: Baldan, Paolo, et al.
Publicado: (2017)

Coalgebraic Path Constraints
por: Schmid, Todd
Publicado: (2026)

Identity-Preserving Lax Extensions and Where to Find Them
por: Goncharov, Sergey, et al.
Publicado: (2024)

Terminal Coalgebras in Countably Many Steps
por: Adámek, Jiří, et al.
Publicado: (2023)

Trees in Coalgebra from Generalized Reachability
por: Wißmann, Thorsten, et al.
Publicado: (2025)

Logic of Fuzzy Paths
por: Grover, Kush, et al.
Publicado: (2026)

Well-Founded Coalgebras Meet König's Lemma
por: Urbat, Henning, et al.
Publicado: (2025)

A No-go Theorem for Coalgebraic Product Construction
por: Kori, Mayuko, et al.
Publicado: (2025)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
por: Fábregas, Ignacio, et al.
Publicado: (2024)

From Coalgebraic Determinization to Belief Construction for Partial Observability
por: Kori, Mayuko, et al.
Publicado: (2026)

Probabilistic Abduction in a Fuzzy Logic Framework
por: Flaminio, Tommaso, et al.
Publicado: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
por: de Amorim, Pedro H. Azevedo, et al.
Publicado: (2026)

Graded Monads and Behavioural Equivalence Games
por: Ford, Chase, et al.
Publicado: (2022)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

A Coalgebraic Model of Quantum Bisimulation
por: Ceragioli, Lorenzo, et al.
Publicado: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
por: Alexandru, Cass, et al.
Publicado: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
por: Kozhemiachenko, Daniil, et al.
Publicado: (2026)

Reducing Student Distraction Through Fuzzy Logic Based Seating Arrangements
por: Olges, Garrett, et al.
Publicado: (2025)

Conformance Games for Graded Semantics
por: Forster, Jonas, et al.
Publicado: (2024)

Fuzzy Lattice-based Description Logic
por: Ding, Yiwen, et al.
Publicado: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
por: Nguyên, Lê Thành Dũng, et al.
Publicado: (2022)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
por: Hausmann, Daniel, et al.
Publicado: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
por: Kettmann, Pascal, et al.
Publicado: (2025)

Logical Characterizations of GNNs with Mean Aggregation
por: Schönherr, Moritz, et al.
Publicado: (2025)