:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Gullà, Gabriele
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2403.17027
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A synthetic overview on some known characterizations of Woodin cardinals
by: Gullà, Gabriele
Published: (2024)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
by: Gullà, Gabriele
Published: (2024)

Some results in non-monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Some remarks on lattices of equivalences
by: Herrmann, Christian
Published: (2025)

Fragments of Some Subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh, et al.
Published: (2025)

Some Observations on Infinitary Complexity
by: Carl, Merlin
Published: (2018)

Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)

Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)

Some applications of fuzzy sets in residuated lattices
by: Flaut, Cristina, et al.
Published: (2024)

Some Epistemic Extensions of Gödel Fuzzy Logic
by: Dastgheib, D., et al.
Published: (2016)

Some Results on Finitely Splitting Subtrees of Aronszajn Trees
by: Krueger, John
Published: (2024)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
by: Cecilia, Gabriele
Published: (2025)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
by: Ulrich, Danielle
Published: (2024)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
by: Melleray, Julien
Published: (2026)

Some applications of finite BL-algebras
by: Flaut, Cristina, et al.
Published: (2025)

Positionality in $Σ_0^2$ and a completeness result
by: Ohlmann, Pierre, et al.
Published: (2023)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
by: Cecilia, Gabriele, et al.
Published: (2024)

Reply to Some Questions of Quotients when ultrafilters divide ultrafilters
by: Singha, Manoranjan, et al.
Published: (2026)

On the Two-fold Role of Logic Constraints in Deep Learning
by: Ciravegna, Gabriele
Published: (2025)

Some Remarks on Kim-dividing in NATP Theories
by: Kim, Joonhee, et al.
Published: (2022)

On Some Systems of Equations in Abelian Varieties
by: Gallinaro, Francesco
Published: (2022)

Complexity results for modal logic with recursion via translations and tableaux
by: Aceto, Luca, et al.
Published: (2023)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
by: Civini, Emanuele, et al.
Published: (2026)

Some Results on Causal Modalities in General Spacetimes
by: Lewis, Marco, et al.
Published: (2026)

Some results on the $π$-weight of countable Fréchet-Urysohn spaces
by: Dow, Alan
Published: (2025)

A short survey around the pumping lemma for context-free languages
by: Gullà, Gabriele
Published: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
by: Bilotta, Antonella
Published: (2025)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
by: Masina, Gabriele, et al.
Published: (2025)

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

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

Positivity-hardness results on Markov decision processes
by: Piribauer, Jakob, et al.
Published: (2023)

Monadic Intersection Types, Relationally (Extended Version)
by: Gavazzo, Francesco, et al.
Published: (2024)

Automated planning with ontologies under coherence update semantics (Extended Version)
by: Borgwardt, Stefan, et al.
Published: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

An observer-based approach to the sorites paradox and the logic derived from that
by: Tzouvaras, Athanassios
Published: (2026)