Image de couverture de livre

Formula size game and model checking for modal substitution calculus

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ahvonen, Veeti, Jaakkola, Reijo, Kuusisto, Antti
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

Graded modal logic and counting message passing automata
par: Ahvonen, Veeti, et autres
Publié: (2024)

Graph neural networks and MSO
par: Ahvonen, Veeti, et autres
Publié: (2025)

Descriptive complexity for neural networks via Boolean networks
par: Ahvonen, Veeti, et autres
Publié: (2023)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
par: Ahvonen, Veeti, et autres
Publié: (2024)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
par: Jaakkola, Reijo, et autres
Publié: (2024)

Expressive Power of Graph Transformers via Logic
par: Ahvonen, Veeti, et autres
Publié: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
par: Ahvonen, Veeti, et autres
Publié: (2026)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
par: Jaakkola, Reijo, et autres
Publié: (2024)

Why this and not that? A Logic-based Framework for Contrastive Explanations
par: Geibinger, Tobias, et autres
Publié: (2025)

One-Dimensional Fragment over Words and Trees
par: Kieronski, Emanuel, et autres
Publié: (2021)

Interpretable classifiers for tabular data via discretization and feature selection
par: Jaakkola, Reijo, et autres
Publié: (2024)

Interpolation for the two-way modal mu-calculus
par: Kloibhofer, Johannes, et autres
Publié: (2025)

A modal approach towards substitutions
par: Tu, Yaxin, et autres
Publié: (2025)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
par: Bauer, Esaïe, et autres
Publié: (2025)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

Neural networks as fuzzy logic formulas
par: Heiman, Damian, et autres
Publié: (2026)

S4 modal sequent calculus as intermediate logic and intermediate language
par: Caspar, Jean, et autres
Publié: (2026)

On first-order model checking parameterized by the number of variables
par: Jedelský, Jan
Publié: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

The calculus of neo-Peircean relations
par: Bonchi, Filippo, et autres
Publié: (2025)

Resource approximation for the $λμ$-calculus
par: Barbarossa, Davide
Publié: (2024)

The higher dimensional propositional calculus
par: Bucciarelli, Antonio, et autres
Publié: (2022)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
par: Cimatti, Alessandro, et autres
Publié: (2024)

Model Comparison Games for Generalized Quantifiers
par: Kuusisto, Antti, et autres
Publié: (2026)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

Elementary first-order model checking for sparse graphs
par: Gajarský, Jakub, et autres
Publié: (2024)

Higher order differential calculus in mathlib
par: Gouëzel, Sébastien
Publié: (2025)

An implicit function theorem for the stream calculus
par: Boreale, Michele, et autres
Publié: (2023)

A linear linear lambda-calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

Approximation theory for distant Bang calculus
par: Chardonnet, Kostia, et autres
Publié: (2026)

On the complexity of normalization for the planar $λ$-calculus
par: Das, Anupam, et autres
Publié: (2024)

Reasoning under uncertainty in the game of Cops and Robbers
par: Li, Dazhu, et autres
Publié: (2025)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

Existential and positive games: a comonadic and axiomatic view
par: Abramsky, Samson, et autres
Publié: (2025)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
par: Ken, Eitetsu, et autres
Publié: (2024)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)