Copertina

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tabatabai, Amirhossein Akbar, Alizadeh, Majid, Mahmoudian, Alireza
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

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

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

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

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

On a Generalization of Heyting Algebras I
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)

On a Generalization of Heyting Algebras II
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
di: Becker, Justus
Pubblicazione: (2025)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
di: Lyon, Tim S.
Pubblicazione: (2026)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Nested Sequents for Quasi-transitive Modal Logics
di: Marin, Sonia, et al.
Pubblicazione: (2024)

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

Proof Complexity and Feasible Interpolation
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2025)

Witnessing Flows in Arithmetic
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

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

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

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

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
di: Maniwa, Akinori, et al.
Pubblicazione: (2024)

A Sequent Calculus For Trace Formula Implication
di: Heidler, Niklas, et al.
Pubblicazione: (2025)

On Geometric Implications
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

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

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

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

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

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

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

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
di: Irani, Khashayar
Pubblicazione: (2025)

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

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
di: Cailler, Julie, et al.
Pubblicazione: (2025)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
di: Gao, Han, et al.
Pubblicazione: (2025)

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

Skolemisation for Intuitionistic Linear Logic
di: Bruni, Alessandro, et al.
Pubblicazione: (2024)

Intuitionistic Propositional Logic in Lean
di: Trufaş, Dafina
Pubblicazione: (2024)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)

Nested Sequents for Provability Logic GLP
di: Shamkanov, Daniyar
Pubblicazione: (2014)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
di: Litak, Tadeusz, et al.
Pubblicazione: (2025)