Results 21 to 30 of about 86,968 (310)

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

Ł-Axiomatizability in intermediate and normal modal logics [PDF]

, 2014
A set $F$ of formulas is complete relative to a given class of logics, if every logic from this class can be axiomatized by formulas from $F$. A set of formulas $F$ is -complete relative to a given class of logics, if every logic of this class can be -axiomatized by formulas from $F$, that is, every of these logics can be defined by an ...
Alex Citkin
openalex   +3 more sources

Relations between propositional normal modal logics: an overview [PDF]

Journal of Logic and Computation, 1997
In this short paper the authors give a useful overview of the most common propositional normal modal logics by first providing a catalogue of their axioms (and of the alternative names that have been considered in the standard textbooks, papers and reports), and then investigating the relationships between the logics; the equivalence between multiple ...
Rajeev Goré
openalex   +5 more sources

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

Intuitionistic Non-normal Modal Logics: A General Framework [PDF]

Journal of Philosophical Logic, 2020
Preprint
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti   +2 more
openaire   +3 more sources