Cover Image

Models for the common knowledge logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Tanaka, Yoshihito
Format:	Preprint
Published:	2024
Subjects:	Logic 03G25, 03B45
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

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

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)

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

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

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

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

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

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

Sufficient conditions for local tabularity of a polymodal logic
by: Shapirovsky, Ilya B.
Published: (2022)

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

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

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

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

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

Monotonicity versus positivity in modal logics
by: Dvorkin, Lev
Published: (2026)

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

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

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

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

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
by: Knudstorp, Søren Brinck
Published: (2025)

On distance logics of Euclidean spaces
by: Agnew, Gabriel, et al.
Published: (2025)

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

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

On the unification problem for GLP
by: Beklemishev, Lev D.
Published: (2024)

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

Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

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

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

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