Cover Image

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Nichols, David
Format:	Preprint
Published:	2017
Subjects:	Logic 03C57, 03B45, 03B44
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pretabular Tense Logics over S4t
by: Chen, Qian
Published: (2024)

Degree of Kripke-incompleteness of Tense Logics
by: Chen, Qian
Published: (2025)

Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)

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

On Cohesive Products of Fields
by: Dimitrov, Rumen, et al.
Published: (2026)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

Isomorphism Spectra and Computably Composite Structures
by: Lakerdas-Gayle, Joey
Published: (2025)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

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

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

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

Failure of Esakia's theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

Modal Semantics for Reasoning with Probability and Uncertainty
by: Guallart, Nino
Published: (2024)

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

A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)

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

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

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)

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

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

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

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

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

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

Online and feasible presentability: from trees to modal algebras
by: Bazhenov, Nikolay, et al.
Published: (2025)

Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)

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

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

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

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

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

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

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

Models for the common knowledge logic
by: Tanaka, Yoshihito
Published: (2024)

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

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