:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Niki, Satoru, Omori, Hitoshi
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2501.00495
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Disjunction-Free Fragment of D2 is Three-Valued
di: Omori, Hitoshi
Pubblicazione: (2024)

A note on Grigoriev and Zaitsev's system CNL$^2_4$
di: Omori, Hitoshi, et al.
Pubblicazione: (2024)

The Power of Generalized Clemens Semantics
di: Omori, Hitoshi, et al.
Pubblicazione: (2024)

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)

Normal forms and representable functions in Moisil logic
di: Sipos, Andrei
Pubblicazione: (2023)

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

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

The subTuring degrees
di: Kihara, Takayuki, et al.
Pubblicazione: (2024)

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

Incompleteness theorems via Turing category
di: Savelyev, Yasha
Pubblicazione: (2024)

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

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

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

Denotational semantics driven simplicial homology?
di: Barbarossa, Davide
Pubblicazione: (2024)

A Study on Actions for Atomic Logics
di: Espejo-Boix, Raül
Pubblicazione: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
di: Ken, Eitetsu, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

An independence of the MIN principle from the PHP principle
di: Narusevych, Mykyta
Pubblicazione: (2024)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
di: Ma, Zhifeng, et al.
Pubblicazione: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
di: Wang, Yiheng, et al.
Pubblicazione: (2024)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
di: Lyon, Tim S.
Pubblicazione: (2024)

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