Copertina

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

On Bisimilarity for Quasi-discrete Closure Spaces
di: Ciancia, Vincenzo, et al.
Pubblicazione: (2023)

Practical Exploration of Polyhedral Model Checking
di: Andriaccio, Yuri, et al.
Pubblicazione: (2025)

Logics of polyhedral reachability
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

An explicit Kuznetsov-Muravitsky enrichment
di: Jibladze, Mamuka, et al.
Pubblicazione: (2024)

Degrees of the finite model property: the antidichotomy theorem
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
di: van Glabbeek, Rob, et al.
Pubblicazione: (2025)

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

Structural Completeness in bi-IPC
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2025)

The Cardinalities of Intervals of Equational Theories and Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)

Modal Fragments
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2026)

Superamalgamation for modal lattices via non-distributive dualities
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2026)

Fischer-Servi logic does not have interpolation
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2026)

A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks
di: Imbriani, Manuela, et al.
Pubblicazione: (2025)

Towards Proving Liveness on Weak Memory (Extended Version)
di: Bargmann, Lara, et al.
Pubblicazione: (2026)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
di: Bisping, Benjamin, et al.
Pubblicazione: (2024)

The Baire closure and its logic
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2021)

Six Proofs of Interpolation for the Modal Logic K
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2025)

Simplicial Belief
di: Cachin, Christian, et al.
Pubblicazione: (2026)

Bisimilarity in fresh-register automata
di: Murawski, Andrzej S., et al.
Pubblicazione: (2020)

Minimising the Probabilistic Bisimilarity Distance
di: Kiefer, Stefan, et al.
Pubblicazione: (2024)

A Logic of Secrecy on Simplicial Models
di: Wang, Shanxia
Pubblicazione: (2026)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
di: Fatmi, Syyeda Zainab, et al.
Pubblicazione: (2025)

Bi-intermediate logics of trees and co-trees
di: Bezhanishvili, N., et al.
Pubblicazione: (2022)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
di: Bernardo, Marco, et al.
Pubblicazione: (2025)

Place Bisimilarity is Decidable, Indeed!
di: Gorrieri, Roberto
Pubblicazione: (2021)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
di: Bernardo, Marco, et al.
Pubblicazione: (2024)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
di: Grabmayer, Clemens
Pubblicazione: (2022)

Belief in Simplicial Complexes
di: Sink, Philip, et al.
Pubblicazione: (2025)

Branching Bisimilarity for Processes with Time-outs
di: Reghem, Gaspard, et al.
Pubblicazione: (2024)

Lowerbounds for Bisimulation by Partition Refinement
di: Groote, Jan Friso, et al.
Pubblicazione: (2022)

On the Complexity of Proving Polyhedral Reductions
di: Amat, Nicolas, et al.
Pubblicazione: (2023)

Concrete Branching Bisimilarity for Processes with Time-outs
di: Reghem, Gaspard, et al.
Pubblicazione: (2024)

Esakia order-compactifications and locally Esakia spaces
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
di: Abbadini, Marco, et al.
Pubblicazione: (2022)

Blok-Esakia Theorems via Stable Canonical Rules
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)

A Spatial Logic for Simplicial Models
di: Loreti, Michele, et al.
Pubblicazione: (2021)

Diagrammatic Polyhedral Algebra
di: Bonchi, Filippo, et al.
Pubblicazione: (2021)

Practical Deductive Verification of OCaml Programs (Extended Version)
di: Pereira, Mário
Pubblicazione: (2024)