:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kojelis, Daumantas
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2411.19084
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Understanding the Expressive Power of GNNs with Global Readout
par: Funk, Maurice, et autres
Publié: (2026)

The Adjacent Fragment and Quine's Limits of Decision
par: Bednarczyk, Bartosz, et autres
Publié: (2024)

The Fluted Fragment with Transitive Relations
par: Pratt-Hartmann, Ian, et autres
Publié: (2020)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)

Prime Factorization in Models of PV$_1$
par: Ježil, Ondřej
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
par: Benedikt, Michael, et autres
Publié: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Towards Language Model Guided TLA+ Proof Automation
par: Zhou, Yuhao, et autres
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Retrieval-Augmented TLAPS Proof Generation with Large Language Models
par: Zhou, Yuhao
Publié: (2025)

Argumentative Reasoning with Language Models on Non-factorized Case Bases
par: Fungwacharakorn, Wachara, et autres
Publié: (2025)

$\text{C}^2\text{P}$: Featuring Large Language Models with Causal Reasoning
par: Bagheri, Abdolmahdi, et autres
Publié: (2024)

Finitely Bounded Homogeneity Turned Inside-Out
par: Rydval, Jakub
Publié: (2021)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

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

The strength of the dominance rule
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2024)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

The subTuring degrees
par: Kihara, Takayuki, et autres
Publié: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Incompleteness theorems via Turing category
par: Savelyev, Yasha
Publié: (2024)

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

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
par: De Domenico, Andrea, et autres
Publié: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
par: Kihara, Takayuki
Publié: (2024)

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

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
par: Kürbis, Nils
Publié: (2024)

Further remarks on the dual negation in team logics
par: Anttila, Aleksi
Publié: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

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

Denotational semantics driven simplicial homology?
par: Barbarossa, Davide
Publié: (2024)