Results 31 to 40 of about 156,774 (303)
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
Ł-Axiomatizability in intermediate and normal modal logics
, 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 +4 more sources
"Knowing value" logic as a normal modal logic
, 2016 21 pages, in Advances in Modal Logic Vol 11: 362-381 College Publications. This is a draft with a more detailed proof of Prop.
Tao Gu, Yanjing Wang
openalex +4 more sources
Normal forms in modal logic. [PDF]
Notre Dame Journal of Formal Logic, 1975 Kit Fine
openalex +4 more sources
A tableau-like proof procedure for normal modal logics
Theoretical Computer Science, 1994 This is an extension to modal logic of the following proof search procedure for classical propositional logic: Expand the goal formula \(G\) into conjunctive normal form and apply the resolution method to the resulting set of clauses. Since these rules of expansion are dual to the standard Gentzen-type rules, the author uses the term ``dual clauses ...
Zoran Ognjanović
openalex +4 more sources
Evolutionary epistemology and non-normal modal logic of knowledge [PDF]
, 2018 Владимир Олегович Лобовиков
openalex +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
Canonicity of Proofs in Constructive Modal Logic [PDF]
International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2023 In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light of the gap between the proof equivalences enforced by the lambda calculi from the literature and by the recently defined winning strategies for this logic.
Matteo Acclavio +2 more
semanticscholar +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