Results 71 to 80 of about 87,429 (211)
On the Logic of Belief and Propositional Quantification [PDF]
, 2020 We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is some-thing that I ...
Ding, Yifeng
core
Normal forms in partial modal logic [PDF]
Banach Center Publications, 1993 A “partial” generalization of Fine’s definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi]. Introduction. From the viewpoint of formal linguistics, cognitive science and artificial intelligence, there appears to be a natural ...
openaire +1 more source
"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.
Gu, Tao, Wang, Yanjing
openaire +2 more sources
Almost structural completeness; an algebraic approach [PDF]
, 2014 A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can
M. Stronkowski, Michał, Wojciech Dzik
core
Conjunctive normal forms and weak modal logics without the axiom of necessity. [PDF]
, 1984 Shigeo Ōhama
openalex +1 more source
CoNP Complexity for Combinations of Non-normal Modal Logics [PDF]
, 2023 Tiziano Dalmonte, Andrea Mazzullo
openalex +1 more source
A World-Semantics - An outline of a proposal
KalagatosOutside academic philosophical discourse, the World is usually thought of with a capital “W”, it is thought of as changing, and as being identical in its changes. The World was different 50 years ago, and it could have been different from what it is now.
Konrad Utz
doaj +1 more source
Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System Modeled by the Logic Square and Hexagon of Opposition [PDF]
, 2019 Владимир Олегович Лобовиков
openalex +1 more source
An End-to-End Framework for Neonatal Asphyxia Detection Through Video Analysis
IEEE AccessIdentifying asphyxia using computer vision in real-world settings poses challenges due to varying video quality, diverse lighting conditions, and subtle color changes in the newborn’s skin. This study presents an end-to-end framework for automated
Kurnianingsih +8 more
doaj +1 more source
Радіоелектронні і комп'ютерні системиThe Subject of this research is the development of an intelligent, integrated system for the early detection and causal analysis of fire hazards in large-scale solar power plants (SPPs).
Andrii Lysyi +6 more
doaj +1 more source