Results 11 to 20 of about 186,512,308 (212)
Linear Abelian Modal Logic [PDF]
, 2023 A 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
Mohammadi, Hamzeh
core +1 more source
A modal logic for reasoning on consistency and completeness of regulations [PDF]
, 2009 In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness.
Garion, Christophe +2 more
core +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, Read, Stephen; id_orcid
core +1 more source
A multi-modal logic for Galois connections [PDF]
, 2022 Advances in Modal Logic 2022 (Rennes, August 22 ...
Pérez-de-Guzmán-Molina, Inmaculada +2 more
core
Positive Modal Logic Beyond Distributivity [PDF]
, 2023 We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka duality for meet-
Dmitrieva, Anna +4 more
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 +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
Az-Zarqa': Early Islamic legal tradition reveals the recurrent appearance of camels in a range of normative provisions, including diyāt (blood money), livestock zakat, sacrifice, and dowry. This pattern has often been read literally as the final legal designation
Landy Trisna Abdurrahman +4 more
doaj +1 more source
We prove that the modal logic of lattices with the accessibility relation of being isomorphic to a sublattice is S4.2.
Hałapacz, Maciej A.
core +1 more source
Arthritis Care &Research, EarlyView.Objective This study synthesized the content and reporting completeness of published physical therapist–led interventions for glenohumeral osteoarthritis (GHOA). Methods This systematic review undertook electronic database searches in PubMed, EMBASE, Cochrane, CINAHL, and PEDro (until June 2025) for any peer‐reviewed articles or studies describing ...
Daha G. Muhammad +5 more
wiley +1 more source