Buchumschlag

Arithmetical completeness for some extensions of the pure logic of necessitation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kogure, Haruka
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The finite frame property of some extensions of the pure logic of necessitation
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2023)

Provability interpretation of non-normal modal logics having neighborhood semantics
von: Kogure, Haruka
Veröffentlicht: (2025)

Modal logical aspects of provability predicates and consistency statements
von: Kogure, Haruka, et al.
Veröffentlicht: (2025)

Finite Kripke models and provability interpretations in quantified modal logic
von: Kogure, Haruka, et al.
Veröffentlicht: (2026)

A variety of partially conservative sentences
von: Kogure, Haruka, et al.
Veröffentlicht: (2024)

Doubly partially conservative sentences
von: Kogure, Haruka, et al.
Veröffentlicht: (2025)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
von: Sato, Yuta
Veröffentlicht: (2025)

Alignment complete relational Hoare logics for some and all
von: Nagasamudram, Ramana, et al.
Veröffentlicht: (2023)

Strong completeness for the predicate logic of the continuous t-norms
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

A note on the modal logic of symmetric extensions
von: Duncan, Hope
Veröffentlicht: (2026)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

On the horizontal compression of dag-derivations in minimal purely implicational logic
von: Haeusler, Edward Hermann, et al.
Veröffentlicht: (2022)

Normalization and cut-elimination theorems for some logics of evidence and truth
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
von: Kurahashi, Taishi
Veröffentlicht: (2024)

On the local consequence of modal Product logic: standard completeness and decidability
von: Vidal, Amanda
Veröffentlicht: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
von: Bozzelli, L., et al.
Veröffentlicht: (2022)

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

Strong completeness of a first-order temporal logic for real time
von: Goldblatt, Robert
Veröffentlicht: (2023)

Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Superabelian logics
von: Cintula, Petr, et al.
Veröffentlicht: (2024)

Further remarks on the dual negation in team logics
von: Anttila, Aleksi
Veröffentlicht: (2024)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

On the Concept of Arithmetic Conseqeunce
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)