:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chunikhin, Alexander
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2604.28171
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Semantic Numeration Systems as Dynamical Systems
von: Chunikhin, Alexander Yu.
Veröffentlicht: (2025)

CHTW-systems with resource-depended parameters. CHTW(R)-systems
von: Chunikhin, Alexander Yu.
Veröffentlicht: (2024)

Attractors of Parikh mapping iterations
von: Chunikhin, Alexander
Veröffentlicht: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

Further remarks on the dual negation in team logics
von: Anttila, Aleksi
Veröffentlicht: (2024)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

Inferentialist Resource Semantics
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
von: Sawasaki, Takahiro
Veröffentlicht: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Categorical Proof-Theoretic Semantics
von: Pym, David, et al.
Veröffentlicht: (2023)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

Support is Search
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Topological Semantics for Common Inductive Knowledge
von: Namachivayam, Siddharth
Veröffentlicht: (2026)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
von: Freiman, Robert, et al.
Veröffentlicht: (2024)

On the entailment problem for DL-Lite$_{core}$ ontologies and conjunctive queries with negation
von: Marcinkowski, Jerzy, et al.
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Verifying Numerical Methods with Isabelle/HOL
von: Bryant, Dustin, et al.
Veröffentlicht: (2025)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

Synthesis of Infinite State Systems
von: Drucker, Ohad, et al.
Veröffentlicht: (2025)

Rational Capability in Concurrent Games
von: Li, Yinfeng, et al.
Veröffentlicht: (2025)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

Paraconsistent Existential Graphs Gamma Peirce System
von: Sierra-Aristizabal, Manuel
Veröffentlicht: (2023)

Rational Inference in Formal Concept Analysis
von: Carr, Lucas, et al.
Veröffentlicht: (2025)

Non-Numerical Weakly Relational Domains
von: Seidl, Helmut, et al.
Veröffentlicht: (2024)

Cut-free Deductive System for Continuous Intuitionistic Logic
von: Geoffroy, Guillaume
Veröffentlicht: (2025)