Buchumschlag

Modal Separability of Fixpoint Formulae

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jung, Jean Christoph, Kołodziejski, Jędrzej
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science 03B70
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

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

The Polynomial Hierarchy and $ω$-categorical CSPs
von: Pro, Santiago Guzmán, et al.
Veröffentlicht: (2026)

Interleaving Logic and Counting
von: van Benthem, Johan, et al.
Veröffentlicht: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

Domains and Classifying Topoi
von: Sterling, Jonathan, et al.
Veröffentlicht: (2025)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Examples and counterexamples of injective types
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Computation and Size of Interpolants for Hybrid Modal Logics
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2026)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

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

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

Discrete dualities for some algebras from rough sets
von: Düntsch, Ivo, et al.
Veröffentlicht: (2026)

Evaluation trees for proposition algebra
von: Bergstra, Jan A., et al.
Veröffentlicht: (2015)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
von: Hausmann, Daniel, et al.
Veröffentlicht: (2022)

Computation of Interpolants for Description Logic Concepts in Hard Cases
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
von: Sun, Xin, et al.
Veröffentlicht: (2024)

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

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

The fork and its role in unification of closure algebras
von: Düntsch, Ivo, et al.
Veröffentlicht: (2023)

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

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
von: Poernomo, Iman
Veröffentlicht: (2025)

ASP Chef grows Mustache to look better
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

Logics of polyhedral reachability
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

The Sup Connective in IMALL: A Categorical Semantics
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Preservation theorems on sparse classes revisited
von: Dawar, Anuj, et al.
Veröffentlicht: (2024)

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

From Interpolating Formulas to Separating Languages and Back Again
von: Kurucz, Agi, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

Matching logic -- a new axiomatization
von: Leuştean, Laurenţiu, et al.
Veröffentlicht: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

Notes on applicative matching logic
von: Leuştean, Laurenţiu
Veröffentlicht: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)