Imagen de Portada

Modal Separability of Fixpoint Formulae

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jung, Jean Christoph, Kołodziejski, Jędrzej
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science 03B70
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
por: Jung, Jean Christoph, et al.
Publicado: (2025)

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

A proof-theoretical approach to some extensions of first order quantification
por: Allègre, Loïc, et al.
Publicado: (2024)

The Polynomial Hierarchy and $ω$-categorical CSPs
por: Pro, Santiago Guzmán, et al.
Publicado: (2026)

Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
por: Lyon, Tim S.
Publicado: (2025)

Domains and Classifying Topoi
por: Sterling, Jonathan, et al.
Publicado: (2025)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Examples and counterexamples of injective types
por: de Jong, Tom, et al.
Publicado: (2026)

Computation and Size of Interpolants for Hybrid Modal Logics
por: Jung, Jean Christoph, et al.
Publicado: (2026)

Normal forms in cubical type theory
por: Huang, Xu
Publicado: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
por: Nakamura, Yuki
Publicado: (2026)

Refutability as Recursive as Provability
por: Cattabriga, Paola
Publicado: (2024)

The complexity of being monitorable
por: Camerlo, Riccardo, et al.
Publicado: (2026)

Discrete dualities for some algebras from rough sets
por: Düntsch, Ivo, et al.
Publicado: (2026)

Evaluation trees for proposition algebra
por: Bergstra, Jan A., et al.
Publicado: (2015)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
por: Hausmann, Daniel, et al.
Publicado: (2022)

Computation of Interpolants for Description Logic Concepts in Hard Cases
por: Jung, Jean Christoph, et al.
Publicado: (2025)

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
por: Sun, Xin, et al.
Publicado: (2024)

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
por: Sun, Xin, et al.
Publicado: (2024)

The Golden Path to Guarded Monotone Strict NP
por: Barsukov, Alexey, et al.
Publicado: (2023)

The fork and its role in unification of closure algebras
por: Düntsch, Ivo, et al.
Publicado: (2023)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2020)

Axiomatization of approximate exclusion
por: Häggblom, Matilda
Publicado: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
por: Häggblom, Matilda
Publicado: (2025)

Axiomatizing approximate inclusion
por: Häggblom, Matilda
Publicado: (2025)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
por: Poernomo, Iman
Publicado: (2025)

ASP Chef grows Mustache to look better
por: Alviano, Mario, et al.
Publicado: (2025)

Logics of polyhedral reachability
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

The Sup Connective in IMALL: A Categorical Semantics
por: Díaz-Caro, Alejandro, et al.
Publicado: (2022)

On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)

Preservation theorems on sparse classes revisited
por: Dawar, Anuj, et al.
Publicado: (2024)

A Linear-Size Block-Partition Fibonacci Encoding for Gödel Numbering
por: Sóstai, Zoltán
Publicado: (2026)

From Interpolating Formulas to Separating Languages and Back Again
por: Kurucz, Agi, et al.
Publicado: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
por: Kosaian, Katherine, et al.
Publicado: (2024)

Matching logic -- a new axiomatization
por: Leuştean, Laurenţiu, et al.
Publicado: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
por: Borzechowski, Manfred, et al.
Publicado: (2025)

Notes on applicative matching logic
por: Leuştean, Laurenţiu
Publicado: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
por: Forster, Jonas, et al.
Publicado: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
por: Prunescu, Mihai, et al.
Publicado: (2025)