Results 21 to 30 of about 87,429 (211)

Uniting Normal and Non-Normal Modal Logics by One Axiomatic System of Philosophical Epistemology

Дискурс Пи, 2017
For the first time in analytic philosophy the universal theory of knowledge is precisely formulated and defined as an axiomatic system ?. For formulating it four axiom schemes are used.
V.O. Lobovikov
doaj   +2 more sources

Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules

Bulletin of the Section of Logic
The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models.
Andrzej Pietruszczak
doaj   +3 more sources

Explicit non-normal modal logic [PDF]

Journal of Logic and Computation, 2021
Abstract Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations. To overcome this issue, we introduce novel justification logics as hyperintensional analogues to non-normal modal logics. We establish soundness and completeness with respect
Rohani, Atefeh, Studer, Thomas
openaire   +2 more sources

Note on the Intuitionistic Logic of False Belief

Bulletin of the Section of Logic, 2022
In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is not satisfied in a given world ...
Tomasz Witczak
doaj   +1 more source

Graphical Sequent Calculi for Modal Logics [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs.
Minghui Ma, Ahti-Veikko Pietarinen
doaj   +1 more source

Density of truth in modal logics [PDF]

Discrete Mathematics & Theoretical Computer Science, 2006
The aim of this paper is counting the probability that a random modal formula is a tautology. We examine $\{ \to,\Box \}$ fragment of two modal logics $\mathbf{S5}$ and $\mathbf{S4}$ over the language with one propositional variable.
Zofia Kostrzycka
doaj   +1 more source

Fractional-Valued Modal Logic and Soft Bilateralism

Bulletin of the Section of Logic, 2023
In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Mario Piazza, Gabriele Pulcini, Matteo Tesi   +2 more
doaj   +1 more source

Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]

Logical Methods in Computer Science, 2009
Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit   +2 more
doaj   +1 more source

Super-Strict Implications

Bulletin of the Section of Logic, 2021
This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication.
Guido Gherardi, Eugenio Orlandelli
doaj   +1 more source

Complete Additivity and Modal Incompleteness [PDF]

, 2019
In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a longstanding open question: whether every normal modal logic can be ...
Holliday, Wesley H., Litak, Tadeusz
core   +2 more sources