:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Kojelis, Daumantas
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2411.19084
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Towards Understanding the Expressive Power of GNNs with Global Readout
por: Funk, Maurice, et al.
Publicado: (2026)

The Adjacent Fragment and Quine's Limits of Decision
por: Bednarczyk, Bartosz, et al.
Publicado: (2024)

The Fluted Fragment with Transitive Relations
por: Pratt-Hartmann, Ian, et al.
Publicado: (2020)

Terminating Hybrid Tableaus for Ordered Models
por: Nishimura, Yuki
Publicado: (2025)

Prime Factorization in Models of PV$_1$
por: Ježil, Ondřej
Publicado: (2025)

A Logic of Secrecy on Simplicial Models
por: Wang, Shanxia
Publicado: (2026)

Modelling of logical systems by means of their fragments
por: Rybakov, Mikhail
Publicado: (2025)

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

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

Complexity of the Model Checking problem for inquisitive propositional and modal logic
por: Grilletti, Gianluca, et al.
Publicado: (2024)

Towards Language Model Guided TLA+ Proof Automation
por: Zhou, Yuhao, et al.
Publicado: (2025)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

Retrieval-Augmented TLAPS Proof Generation with Large Language Models
por: Zhou, Yuhao
Publicado: (2025)

Argumentative Reasoning with Language Models on Non-factorized Case Bases
por: Fungwacharakorn, Wachara, et al.
Publicado: (2025)

$\text{C}^2\text{P}$: Featuring Large Language Models with Causal Reasoning
por: Bagheri, Abdolmahdi, et al.
Publicado: (2024)

Finitely Bounded Homogeneity Turned Inside-Out
por: Rydval, Jakub
Publicado: (2021)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

Demystifying $μ$
por: Afshari, Bahareh, et al.
Publicado: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
por: Afshari, Bahareh, et al.
Publicado: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

The strength of the dominance rule
por: Kołodziejczyk, Leszek Aleksander, et al.
Publicado: (2024)

Dynamic Probability Logic: Decidability & Computability
por: Chopoghloo, Somayeh, et al.
Publicado: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2024)

Decidability of Quasi-Dense Modal Logics
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)

The subTuring degrees
por: Kihara, Takayuki, et al.
Publicado: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Incompleteness theorems via Turing category
por: Savelyev, Yasha
Publicado: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
por: Lyon, Tim S.
Publicado: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
por: De Domenico, Andrea, et al.
Publicado: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
por: Kihara, Takayuki
Publicado: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
por: Takahashi, Yuta
Publicado: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
por: Kürbis, Nils
Publicado: (2024)

Further remarks on the dual negation in team logics
por: Anttila, Aleksi
Publicado: (2024)

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

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

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
por: Lyon, Tim S.
Publicado: (2024)

Denotational semantics driven simplicial homology?
por: Barbarossa, Davide
Publicado: (2024)