On the Possibility of a General Purge of Self-Reference
Análisis Filosófico, 2012 My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook.
Lucas Rosenblatt
doaj +1 more source
A modal logic amalgam of classical and intuitionistic propositional logic
, 2015 A famous result, conjectured by G\"odel in 1932 and proved by McKinsey and Tarski in 1948, says that $\varphi$ is a theorem of intuitionistic propositional logic IPC iff its G\"odel-translation $\varphi'$ is a theorem of modal logic S4. In this paper, we
Lewitzka, Steffen
core +1 more source
Gestalt Shifts in the Liar Or Why KT4M Is the Logic of Semantic Modalities [PDF]
, 2017 : This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and ...
Bobzien, Susanne
core +1 more source
The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom [PDF]
, 2023 Kirill Kopnev
openalex +1 more source
Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers
Organon F, 2019 In Symbolic Logic (1932), C. I. Lewis developed five modal systems S1 − S5. S4 and S5 are so-called normal modal systems. Since Lewis and Langford’s pioneering work many other systems of this kind have been investigated, among them the 32 systems that ...
Daniel Rönnedal
doaj +1 more source
Multiple Conclusion Rules in Logics with the Disjunction Property
, 2015 We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of ...
A Chagrov +31 more
core +1 more source
A Van Benthem Characterization Result for Distribution-Free Logics
LogicsThis article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj +1 more source
General normal forms for any additive logic
, 2017 In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions.
Khaled, Mohamed
core +1 more source
Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 [PDF]
, 2017 In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K.
Mruczek-Nasieniewska, Krystyna +1 more
core +1 more source
Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents [PDF]
, 2009 Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-free labelled sequent calculus for bi-intuitionistic propositional logic ...
Pinto, Luís F., Uustalu, Tarmo
core +1 more source