Imagen de Portada

Tableau Proof Systems for Justification Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Ghari, Meghdad
Formato:	Preprint
Publicado:	2014
Materias:	Logic Logic in Computer Science 03B60, 03F07
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Justification Logics in a Fuzzy Setting
por: Ghari, Meghdad
Publicado: (2014)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
por: Nishimura, Yuki
Publicado: (2022)

Algebraic Semantics for the Logic of Proofs
por: Parsa, Amir Farahmand, et al.
Publicado: (2021)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
por: Ghari, Meghdad
Publicado: (2021)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
por: Anttila, Aleksi, et al.
Publicado: (2025)

Proof-theoretic dilator and intermediate pointclasses
por: Jeon, Hanul
Publicado: (2025)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
por: Hartonas, Chrysafis
Publicado: (2023)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
por: Ayhan, Sara
Publicado: (2023)

Kripke-like models of Set Theory in Modal Residuated Logic
por: Moncayo, Jose, et al.
Publicado: (2024)

The Myhill isomorphism theorem does not generalize much
por: Pradic, Cécilia
Publicado: (2025)

Proof-theoretic methods in quantifier-free definability
por: Kocsis, Zoltan A.
Publicado: (2023)

On the Various Translations between Classical, Intuitionistic and Linear Logic
por: Ferreira, Gilda, et al.
Publicado: (2024)

Collapsing Constructive and Intuitionistic Modal Logics
por: Pacheco, Leonardo
Publicado: (2024)

Continuations and Completeness in Proof-theoretic Semantics
por: Gu, Tao, et al.
Publicado: (2026)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
por: Miwa, Tadayoshi, et al.
Publicado: (2026)

State-based Modal Logics for Free Choice
por: Aloni, Maria, et al.
Publicado: (2023)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
por: Wang, Shuai
Publicado: (2024)

Reasoning Around Paradox with Grounded Deduction
por: Ford, Bryan
Publicado: (2024)

Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)

Quantitative Linear Logic
por: Capucci, Matteo, et al.
Publicado: (2026)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Herbrand's Theorem: a short statement and a model-theoretic proof
por: Badano, Mariana
Publicado: (2025)

Nested Sequents for Provability Logic GLP
por: Shamkanov, Daniyar
Publicado: (2014)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
por: Grotenhuis, Lide, et al.
Publicado: (2026)

Algorithmic correspondence and analytic rules
por: De Domenico, Andrea, et al.
Publicado: (2022)

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

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

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
por: Coniglio, Marcelo E.
Publicado: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
por: Caleiro, Carlos, et al.
Publicado: (2024)

There are (other) ways to negate in propositional team semantics
por: Yang, Fan
Publicado: (2024)

Effective bases and notions of effective second countability in computable analysis
por: Brattka, Vasco, et al.
Publicado: (2025)

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
por: Anttila, Aleksi, et al.
Publicado: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
por: Barrett, Victoria, et al.
Publicado: (2025)

On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)

Avoiding logical strength in real analysis
por: Freund, Anton, et al.
Publicado: (2026)

Lewis and Brouwer meet Strong Löb
por: Visser, Albert, et al.
Publicado: (2024)

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

Inclusion with repetitions and Boolean constants -- implication problems revisited
por: Häggblom, Matilda
Publicado: (2025)