Copertina

Finitely accessible arboreal adjunctions and Hintikka formulae

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Reggio, Luca, Riba, Colin
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Axioms of Arboreal Categories
di: Jakl, Tomáš, et al.
Pubblicazione: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)

Existential and positive games: a comonadic and axiomatic view
di: Abramsky, Samson, et al.
Pubblicazione: (2025)

An invitation to game comonads
di: Abramsky, Samson, et al.
Pubblicazione: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
di: de Jong, Tom, et al.
Pubblicazione: (2026)

A Complete Finitary Refinement Type System for Scott-Open Properties
di: Riba, Colin, et al.
Pubblicazione: (2026)

Infinitary Refinement Types for Temporal Properties in Scott Domains
di: Riba, Colin, et al.
Pubblicazione: (2025)

Deciding characteristic formulae: A journey in the branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2025)

An abstract fixed-point theorem for Horn formula equations
di: Hetzl, Stefan, et al.
Pubblicazione: (2025)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2024)

A categorical perspective on constraint satisfaction: The wonderland of adjunctions
di: Hadek, Maximilian, et al.
Pubblicazione: (2025)

A 2-adjunction between representations and preorder morphisms
di: Brunet, Paul
Pubblicazione: (2026)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
di: Abramsky, Samson, et al.
Pubblicazione: (2022)

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Fairness and promptness in Muller formulas
di: Busatto-Gaston, Damien, et al.
Pubblicazione: (2022)

Finite Axiomatizability by Disjunctive Existential Rules
di: Calautti, Marco, et al.
Pubblicazione: (2025)

Complete Symmetry Breaking for Finite Models
di: Dančo, Marek, et al.
Pubblicazione: (2025)

Programs Versus Finite Tree-Programs
di: Moshkov, Mikhail
Pubblicazione: (2025)

An SMT-LIB Theory of Finite Fields
di: Hader, Thomas, et al.
Pubblicazione: (2024)

Completeness of Finitely Weighted Kleene Algebra With Tests
di: Sedlár, Igor
Pubblicazione: (2024)

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

The unstable formula theorem revisited via algorithms
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2022)

Semantics for Linear-time Temporal Logic with Finite Observations
di: Amjad, Rayhana, et al.
Pubblicazione: (2024)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
di: Pertseva, Elizaveta, et al.
Pubblicazione: (2026)

SAT-Based Techniques for Lexicographically Smallest Finite Models
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

Limited Math: Aligning Mathematical Semantics with Finite Computation
di: Wen, Lian
Pubblicazione: (2026)

Cube-based Isomorph-free Finite Model Finding
di: Chow, Choiwah, et al.
Pubblicazione: (2025)

A Rocq Formalization of Simplicial Lagrange Finite Elements
di: Boldo, Sylvie, et al.
Pubblicazione: (2026)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
di: Bombardelli, Alberto, et al.
Pubblicazione: (2023)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
di: Bergstra, Jan A, et al.
Pubblicazione: (2023)

Partially Finite Model Reasoning in Description Logics Extended Version
di: Gogacz, Tomasz, et al.
Pubblicazione: (2026)

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas
di: Palmieri, Stefano
Pubblicazione: (2026)

Hardness of monadic second-order formulae over succinct graphs
di: Gamard, Guilhem, et al.
Pubblicazione: (2023)

Intersection Types via Finite-Set Declarations
di: Kamareddine, Fairouz, et al.
Pubblicazione: (2024)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
di: Cesco, Arnaldo, et al.
Pubblicazione: (2021)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
di: Hader, Thomas, et al.
Pubblicazione: (2024)

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
di: Nakamura, Yoshiki
Pubblicazione: (2023)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
di: Kieronski, Emanuel, et al.
Pubblicazione: (2016)