Copertina

Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Sawasaki, Takahiro
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
di: Nishida, Naoki, et al.
Pubblicazione: (2025)

Strategies as Resource Terms, and their Categorical Semantics
di: Blondeau-Patissier, Lison, et al.
Pubblicazione: (2023)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
di: Baader, Franz, et al.
Pubblicazione: (2024)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
di: Aoto, Takahito, et al.
Pubblicazione: (2024)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
di: Aoto, Takahito, et al.
Pubblicazione: (2026)

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

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
di: Arisaka, Ryuta
Pubblicazione: (2024)

Power Term Polynomial Algebra for Boolean Logic
di: Sansone, Emanuele, et al.
Pubblicazione: (2026)

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

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

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

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

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

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
di: Yang, Yuanzhe
Pubblicazione: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
di: Găină, Daniel, et al.
Pubblicazione: (2026)

Term Ordering Diagrams
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

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

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

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

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
di: Vollmer, Victoria, et al.
Pubblicazione: (2024)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2021)

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

Incompleteness for stably computable formal systems
di: Savelyev, Yasha
Pubblicazione: (2022)

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

Algebraic Semantics of Datalog with Equality
di: Bidlingmaier, Martin E.
Pubblicazione: (2023)

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

Perennial Semantic Data Terms of Use for Decentralized Web
di: Zhao, Rui, et al.
Pubblicazione: (2024)

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

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
di: Bauer, Esaïe, et al.
Pubblicazione: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
di: Kojima, Ryota, et al.
Pubblicazione: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

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

Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)

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

Owicki--Gries Logic for Timestamp Semantics
di: Abe, Tatsuya
Pubblicazione: (2025)

Towards Term-based Verification of Diagrammatic Equivalence
di: Cailler, Julie, et al.
Pubblicazione: (2026)

Non-negative Rational Semantic Numeration Systems
di: Chunikhin, Alexander
Pubblicazione: (2026)