Results 21 to 30 of about 153,381 (281)
Binary modal logic and unary modal logic
Logic Journal of the IGPL, 2023 Abstract Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another when an additional axiom $U$ is added to the basic axiomatization of the binary side. This is a strengthening of our previous results.
de Jongh, Dick +1 more
openaire +2 more sources
Modal‐type orthomodular logic [PDF]
Mathematical Logic Quarterly, 2009 AbstractIn this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*‐semigroups as in [22] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
DOMENECH G +2 more
openaire +5 more sources
Quantification of Modal Propositions in Traditional Logic [PDF]
Akofena: Modal systems did not emerge until recently with Lewis Clarence, who raised the issue of strict implication. Although modal systems have evolved and diversified significantly since then, they remain loyal to his frameworks, as they are considered ...
Hayat TRIKI & Nacer HADJ AZZEM
doaj +1 more source
Satisfiability Problem in Interval FP-logic
Известия Иркутского государственного университета: Серия "Математика", 2023 The article investigates the interval modal logic, in which an action of the modal operator $\Diamond$ is limited by the boundaries of an interval. In addition, the language of modal logic is extended by the operator $D (\alpha, \beta)$, the truth of ...
N.A. Protsenko +2 more
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
Dual-Context Calculi for Modal Logic [PDF]
Logical Methods in Computer Science, 2020 We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of assumptions, one of which
G. A. Kavvos
doaj +1 more source
The Logic of Khārijī Propositions [PDF]
حکمت سینوی, 2023 There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
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
PSPACE Bounds for Rank-1 Modal Logics [PDF]
, 2006 For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal logics.
Pattinson, Dirk, Schröder, Lutz
core +7 more sources
A basic epistemic logic and its algebraic model
Intermaths, 2023 In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the existence of algebraic models for modal logics, considering that there are so many different modal logics, so it is not usual to give an algebraic model ...
Hércules de Araujo Feitosa +2 more
doaj +3 more sources