Imagen de Portada

An Expressive Coalgebraic Modal Logic for Cellular Automata

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Basold, Henning, Ford, Chase, Pirée, Lulof
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

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

Separation Logic of Generic Resources via Sheafeology
por: van Starkenburg, Berend, et al.
Publicado: (2025)

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

Central Limits via Dilated Categories
por: Basold, Henning, et al.
Publicado: (2026)

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)

Non-Expansive Fuzzy Coalgebraic Logic
por: Gebhart, Stefan, et al.
Publicado: (2025)

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

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
por: Basold, Henning, et al.
Publicado: (2023)

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

Enriching Diagrams with Algebraic Operations
por: Villoria, Alejandro, et al.
Publicado: (2023)

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

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

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
por: Marin, Sonia, et al.
Publicado: (2025)

Decidability of Quasi-Dense Modal Logics
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)

Distribution-Free Normal Modal Logics
por: Hartonas, Chrysafis
Publicado: (2024)

Base-extension Semantics for Modal Logic
por: Eckhardt, Timo, et al.
Publicado: (2024)

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

Automata Linear Dynamic Logic on Finite Traces
por: Smith, Kevin W., et al.
Publicado: (2021)

Modal Logic for Reasoning About Uncertainty and Confusion
por: Bílková, Marta, et al.
Publicado: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
por: Buzoku, Yll, et al.
Publicado: (2025)

Nested Sequents for Quasi-transitive Modal Logics
por: Marin, Sonia, et al.
Publicado: (2024)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
por: Benerecetti, Massimo, et al.
Publicado: (2024)

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

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

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

Expressiveness Results for Timed Modal Mu-Calculi
por: Cleaveland, Rance, et al.
Publicado: (2023)

Compositionality in Coalgebraic Trace Semantics
por: Jourde, Robin, et al.
Publicado: (2026)

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

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
por: Chrysafis, et al.
Publicado: (2025)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
por: de Groot, Jim, et al.
Publicado: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

First-order Logic with Being a Thesis Modal Operator
por: Łyczak, Marcin
Publicado: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
por: de Groot, Jim, et al.
Publicado: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
por: Kapytka, Maryia
Publicado: (2026)

The Directed Van Kampen Theorem in Lean
por: Basold, Henning, et al.
Publicado: (2023)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
por: Bacci, Giorgio, et al.
Publicado: (2025)

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