Results 261 to 270 of about 156,774 (303)

An empirical evaluation of fuzzy bidirectional long short-term memory with soft computing based decision-making model for predicting volatility of cryptocurrencies. [PDF]

Sci Rep
Ragab M.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Infinitary propositional normal modal logic

Studia Logica, 1987
The author introduces a propositional normal modal logic, denoted by \(KL_{\omega_ 1}\), with countable conjunction and disjunction. He gives the Hilbert type formulation of \(KL_{\omega_ 1}\), defines the class of Kripke frames characteristic for this logic (completeness theorem) and proves that \(KL_{\omega_ 1}\) has the Craig interpolation property.
S. Radev
semanticscholar   +4 more sources

Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics

, 1973
Publisher Summary This chapter discusses the alternative semantic systems of normal modal logics. The novelty of the approach discussed in the chapter is twofold: first, to treat modal logics as consequence systems rather than logistic systems; and second, to view modal logics as extensions of non-modal ones.
G. Weaver
semanticscholar   +3 more sources

Epistemic logic, skepticism, and non-normal modal logic

Philosophical Studies, 1981
P. Schotch, R. Jennings
semanticscholar   +3 more sources

Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic

IEEE International Symposium on Multiple-Valued Logic, 2023
A Gentzen-style sequent calculus GMA4 is introduced for a modal extension MA4 of Avron’s self-extensional paradefinite four-valued logic. A new Gentzen-style sequent calculus GS4* for normal modal logic S4 is obtained from GMA4 by adding two special ...
N. Kamide
semanticscholar   +1 more source