Imagen de Portada

Modal logics of almost sure validities in some classes of euclidean and transitive frames

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Sliusarev, Vladislav
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03B45
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Locally tabular products of modal logics
por: Shapirovsky, Ilya B., et al.
Publicado: (2024)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
por: Shapirovsky, Ilya B., et al.
Publicado: (2025)

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

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

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

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

A non-uniform view of Craig interpolation in modal logics with linear frames
por: Kurucz, Agi, et al.
Publicado: (2023)

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

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

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

Models for the common knowledge logic
por: Tanaka, Yoshihito
Publicado: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
por: Olkhovikov, Grigory
Publicado: (2024)

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

Modal logic, fundamentally
por: Holliday, Wesley H.
Publicado: (2024)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
por: Lücke, Philipp
Publicado: (2024)

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

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

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

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

Notes on ultrafilter extensions of almost bounded structures
por: Molnár, Zalán
Publicado: (2025)

Complexity of some modal logics of density (extended version)
por: Balbiani, Philippe, et al.
Publicado: (2025)

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

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)

Hybrid logic for strict betweenness
por: Gruszczyński, Rafał, et al.
Publicado: (2024)

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

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

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
por: Sato, Yuta
Publicado: (2025)

A mixed logic with binary operators
por: Düntsch, Ivo, et al.
Publicado: (2024)

A meta-modal logic for bisimulations
por: Burrieza, Alfredo, et al.
Publicado: (2025)

Periodic frames
por: Beklemishev, Lev D., et al.
Publicado: (2024)

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

Sub-sub-intuitionistic logic
por: Deakin, Jonte, et al.
Publicado: (2024)

Canonicity in power and modal logics of finite achronal width
por: Goldblatt, Robert, et al.
Publicado: (2022)

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

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)

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

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

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