Results 31 to 40 of about 1,072,805 (301)
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
Semantic pollution and syntactic purity [PDF]
, 2015 Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen
core +1 more source
CIFOL: Case-intensional first order logic. (I) Toward a theory of sorts [PDF]
, 2012 This is Part I of a two-part essay introducing case-intensional first-order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of first order logic with modal logic resulting from philosophical and technical modifications of Bressan’
Nuel Belnap +3 more
core +2 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
Combination of temporal logic with modal logic KD
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Regimantas Pliuškevičius
doaj +3 more sources
Bulletin of the Section of LogicA many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj +1 more source
Organon F, 2019 100 years ago C.I. Lewis published A Survey of Symbolic Logic, which included an axiom system for a notion of implication which was ‘stricter’ than that found in Whitehead and Russell’s Principia Mathematica.
Max Cresswell
doaj +1 more source
‘Guide and Prejudice’— How Argonautes recognize targets across domains of life
FEBS Letters, EarlyView.Argonaute proteins use short nucleic‐acid guides to locate and regulate specific targets across all domains of life. Despite striking diversity—from human gene silencing to bacterial immune defence—all Argonautes share a conserved three‐stage recognition logic: guide‐directed sampling, progressive target pairing with a conformational checkpoint and ...
Jack P. K. Bravo
wiley +1 more source
EXPTIME tableaux for the coalgebraic mu-calculus [PDF]
, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +4 more sources
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +1 more source