Copertina

The proof theory and semantics of second-order (intuitionistic) tense logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Becker, Justus, Das, Anupam, Marin, Sonia, Padhiar, Paaras
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

A linear proof language for second-order intuitionistic linear logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

Filling in the semantics for intuitionistic conditional logic
di: Dufty, Brendan, et al.
Pubblicazione: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
di: Santo, José Espírito, et al.
Pubblicazione: (2020)

On semantics of first-order justification logic with binding modalities
di: Yavorskaya, Tatiana, et al.
Pubblicazione: (2025)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Higher-order Kripke models for intuitionistic and non-classical modal logics
di: Barroso-Nascimento, Victor
Pubblicazione: (2025)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
di: Oda, Yukihiro, et al.
Pubblicazione: (2021)

Syntax and semantics of multi-adjoint normal logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

Undecidability of theories of semirings with fixed points
di: Das, Anupam, et al.
Pubblicazione: (2025)

Computational expressivity of (circular) proofs with fixed points
di: Curzi, Gianluca, et al.
Pubblicazione: (2023)

A logic of judgmental existence and its relation to proof irrelevance
di: Pezlar, Ivo
Pubblicazione: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Cyclic Implicit Complexity
di: Curzi, Gianluca, et al.
Pubblicazione: (2021)

An ecumenical view of proof-theoretic semantics
di: Nascimento, Victor, et al.
Pubblicazione: (2023)

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

T-BAT semantics and its logics
di: Pawlowski, Pawel
Pubblicazione: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Proof complexity of positive branching programs
di: Das, Anupam, et al.
Pubblicazione: (2021)

Supervaluations, truth, and intuitionistic logic
di: Dopico, Pablo
Pubblicazione: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
di: Aryal, Safal Raman
Pubblicazione: (2024)

Making first order linear logic a generating grammar
di: Slavnov, Sergey
Pubblicazione: (2022)

Bilateral base-extension semantics
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
di: Powell, Thomas
Pubblicazione: (2023)

Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)

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

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
di: Dowek, Gilles, et al.
Pubblicazione: (2023)

Modular many-valued semantics for combined logics
di: Caleiro, Carlos, et al.
Pubblicazione: (2022)

Tableau methodology for propositional logics
di: Jarmuzek, T., et al.
Pubblicazione: (2025)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

Bi-intuitionistic logics through the abstract algebraic logic lens
di: Deakin, Jonte, et al.
Pubblicazione: (2025)

Yet another cubical type theory, but via a semantic approach
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

Capturing the polynomial hierarchy by second-order revised Krom logic
di: Wang, Kexu, et al.
Pubblicazione: (2022)

A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)