Imagen de Portada

Algebraic Semantics for the Logic of Proofs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Parsa, Amir Farahmand, Ghari, Meghdad
Formato:	Preprint
Publicado:	2021
Materias:	Logic 03B45
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)

Tableau Proof Systems for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

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

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

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2024)

On the Contingency of Logic in Possible World Semantics
por: van der Giessen, Iris, et al.
Publicado: (2025)

Degree of Kripke-incompleteness of Tense Logics
por: Chen, Qian
Publicado: (2025)

Pretabular Tense Logics over S4t
por: Chen, Qian
Publicado: (2024)

Logics of False Belief and Radical Ignorance
por: Fan, Jie
Publicado: (2024)

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

The Logic of Correct Models
por: Aguilera, Juan Pablo, et al.
Publicado: (2024)

Possibility Frames and Forcing for Modal Logic
por: Holliday, Wesley H.
Publicado: (2025)

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

Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
por: Gallardo, Andrés, et al.
Publicado: (2024)

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

Modal Semantics for Reasoning with Probability and Uncertainty
por: Guallart, Nino
Publicado: (2024)

A proof system for the positive fragment of GL
por: Tanaka, Yoshihito
Publicado: (2026)

On the unification problem for GLP
por: Beklemishev, Lev D.
Publicado: (2024)

Visser frames for sublogics of $\mathbf{IL}$
por: Okawa, Yuya, et al.
Publicado: (2022)

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

The Size of Interpolants in Modal Logics
por: Cate, Balder ten, et al.
Publicado: (2025)

Aristotle's Second-Order Logic and Natural Deduction
por: Protin, Clarence
Publicado: (2023)

Natural Term Logic
por: Protin, Clarence
Publicado: (2024)

Modal weak Kleene logics: axiomatizations and relational semantics
por: Bonzio, Stefano, et al.
Publicado: (2024)

On Many-logic modal structures and information-based logics
por: Martins, Manuel, et al.
Publicado: (2026)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
por: Sliusarev, Vladislav
Publicado: (2024)

Monotonicity versus positivity in modal logics
por: Dvorkin, Lev
Publicado: (2026)

Finite model property of pretransitive analogues of (w)K4 and GL
por: Dvorkin, Lev
Publicado: (2024)

Two types of filtrations for $\mathrm{wK4}$ and its relatives
por: Kudinov, Andrey, et al.
Publicado: (2023)

A Basic Łukasiewicz m-valued conditional logic
por: Huo, Shuquan
Publicado: (2024)

Towards a logic of affordances
por: Gruszczynski, Rafal, et al.
Publicado: (2025)

On connexivity in modal and conditional contexts
por: Olkhovikov, Grigory K.
Publicado: (2025)

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

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
por: Wolter, Frank, et al.
Publicado: (2024)

The Monadic Grzegorczyk Logic
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

Cut-free sequent calculi for the provability logic D
por: Kashima, Ryo, et al.
Publicado: (2023)

Swap Kripke models for deontic LFIs
por: Vaz, Mahan, et al.
Publicado: (2025)

LF: a Foundational Higher-Order-Logic
por: Goodsell, Zachary, et al.
Publicado: (2024)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
por: Forster, Jonas, et al.
Publicado: (2023)