Cover Image

The Power of Generalized Clemens Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Omori, Hitoshi, Arenhart, Jonas R. B.
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Kamide is in America, Moisil and Leitgeb are in Australia
by: Niki, Satoru, et al.
Published: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

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

Univalence without function extensionality
by: Cavallo, Evan, et al.
Published: (2026)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

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

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

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

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

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
by: Wang, Shanxia
Published: (2026)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
by: Barenbaum, Pablo
Published: (2026)

Efficient Decision Procedures for RNmatrix Semantics
by: Leme, Renato R., et al.
Published: (2026)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Topological Semantics for Common Inductive Knowledge
by: Namachivayam, Siddharth
Published: (2026)

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Automated Analysis of Logically Constrained Rewrite Systems using crest
by: Schöpf, Jonas, et al.
Published: (2025)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
by: Schöpf, Jonas, et al.
Published: (2023)

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

Hypergraph Semantics for Doxastic Logics
by: van Ditmarsch, Hans, et al.
Published: (2025)

Preservation Theorems in Semiring Semantics
by: Brinke, Sophie, et al.
Published: (2026)

Locality Theorems in Semiring Semantics
by: Bizière, Clotilde, et al.
Published: (2023)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Tableau methodology for propositional logics
by: Jarmuzek, T., et al.
Published: (2025)

A note on Stone-Čech compactification in ZFA
by: Przybyłek, Michał R.
Published: (2023)

Synchronous Team Semantics for Temporal Logics
by: Krebs, Andreas, et al.
Published: (2024)

On Complete Categorical Semantics for Effect Handlers
by: Kura, Satoshi
Published: (2026)

Owicki--Gries Logic for Timestamp Semantics
by: Abe, Tatsuya
Published: (2025)