Image de couverture de livre

An Expressive Coalgebraic Modal Logic for Cellular Automata

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Basold, Henning, Ford, Chase, Pirée, Lulof
Format:	Preprint
Publié:	2025
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

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

Separation Logic of Generic Resources via Sheafeology
par: van Starkenburg, Berend, et autres
Publié: (2025)

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

Central Limits via Dilated Categories
par: Basold, Henning, et autres
Publié: (2026)

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

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

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

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

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
par: Basold, Henning, et autres
Publié: (2023)

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

Enriching Diagrams with Algebraic Operations
par: Villoria, Alejandro, et autres
Publié: (2023)

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

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

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

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

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

Automata Linear Dynamic Logic on Finite Traces
par: Smith, Kevin W., et autres
Publié: (2021)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

Nested Sequents for Quasi-transitive Modal Logics
par: Marin, Sonia, et autres
Publié: (2024)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
par: Benerecetti, Massimo, et autres
Publié: (2024)

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

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

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
par: Fábregas, Ignacio, et autres
Publié: (2024)

Expressiveness Results for Timed Modal Mu-Calculi
par: Cleaveland, Rance, et autres
Publié: (2023)

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

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

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
par: Chrysafis, et autres
Publié: (2025)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
par: de Groot, Jim, et autres
Publié: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
par: Kapytka, Maryia
Publié: (2026)

The Directed Van Kampen Theorem in Lean
par: Basold, Henning, et autres
Publié: (2023)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
par: Bacci, Giorgio, et autres
Publié: (2025)

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