Image de couverture de livre

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fábregas, Ignacio, Palomino, Miguel, de Frutos-Escrig, David
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Logics for Contravariant Simulations
par: Fábregas, Ignacio, et autres
Publié: (2024)

Non-strongly Stable Orders Also Define Interesting Simulation Relations
par: Fábregas, Ignacio, et autres
Publié: (2024)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
par: de Frutos-Escrig, David, et autres
Publié: (2024)

On the specification of modal systems: A comparison of three frameworks
par: Aceto, Luca, et autres
Publié: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Coalgebraic Behavioral Metrics
par: Baldan, Paolo, et autres
Publié: (2017)

Coalgebraic Path Constraints
par: Schmid, Todd
Publié: (2026)

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

Trees in Coalgebra from Generalized Reachability
par: Wißmann, Thorsten, et autres
Publié: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
par: Gebhart, Stefan, et autres
Publié: (2025)

A Categorical Approach to Coalgebraic Fixpoint Logic
par: Schoen, Ezra, et autres
Publié: (2024)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
par: Kori, Mayuko
Publié: (2026)

Well-Founded Coalgebras Meet König's Lemma
par: Urbat, Henning, et autres
Publié: (2025)

An Expressive Coalgebraic Modal Logic for Cellular Automata
par: Basold, Henning, et autres
Publié: (2025)

A No-go Theorem for Coalgebraic Product Construction
par: Kori, Mayuko, et autres
Publié: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
par: de Amorim, Pedro H. Azevedo, et autres
Publié: (2026)

From Coalgebraic Determinization to Belief Construction for Partial Observability
par: Kori, Mayuko, et autres
Publié: (2026)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
par: Beohar, Harsh, et autres
Publié: (2023)

A Coalgebraic Model of Quantum Bisimulation
par: Ceragioli, Lorenzo, et autres
Publié: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
par: Alexandru, Cass, et autres
Publié: (2025)

Terminal Coalgebras in Countably Many Steps
par: Adámek, Jiří, et autres
Publié: (2023)

When Are Prime Formulae Characteristic?
par: Aceto, Luca, et autres
Publié: (2024)

A unified rule format for bounded nondeterminism in SOS with terms as labels
par: Aceto, Luca, et autres
Publié: (2024)

Logical characterisations, rule formats and compositionality for input-output conformance simulation
par: Aceto, Luca, et autres
Publié: (2024)

Efficient Coalgebraic Partition Refinement
par: Dorsch, Ulrich, et autres
Publié: (2017)

Rule Formats for Nominal Process Calculi
par: Aceto, Luca, et autres
Publié: (2024)

Compositionality in Coalgebraic Trace Semantics
par: Jourde, Robin, et autres
Publié: (2026)

Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
par: Das, Litan Kumar, et autres
Publié: (2023)

Graded Monad Coalgebras for Continuous-Time Transition Systems
par: Di Lavore, Elena, et autres
Publié: (2026)

Universal Horn Sentences and the Joint Embedding Property
par: Bodirsky, Manuel, et autres
Publié: (2021)

Preservation Theorems in Semiring Semantics
par: Brinke, Sophie, et autres
Publié: (2026)

Löb-Safe Logics for Reflective Agents
par: Ahrenbach, Seth
Publié: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

Preservation theorems for Tarski's relation algebra
par: Bogaerts, Bart, et autres
Publié: (2023)

Combining Combination Properties: Minimal Models
par: de Toledo, Guilherme Vicentin, et autres
Publié: (2024)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
par: Hausmann, Daniel, et autres
Publié: (2022)

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
par: Zhang, Xindi, et autres
Publié: (2024)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
par: Alvarez, David Quinn
Publié: (2025)

Did Turing prove the undecidability of the halting problem?
par: Hamkins, Joel David, et autres
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)