Results 1 to 10 of about 79,255 (279)
Efficient loop-check for multimodal KD45n logic
Lietuvos Matematikos Rinkinys, 2021 We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use ...
Adomas Birštunas
doaj +2 more sources
Elimination of loop-check for logic of idealized knowledge
Lietuvos Matematikos Rinkinys, 2009 In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
Aida Pliuškevičienė
doaj +3 more sources
Loop-check elimination for non-transitive distributed knowledge logic
Lietuvos Matematikos Rinkinys, 2008 A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed.
Aida Pliuškevičienė
doaj +3 more sources
Visualization and heat transfer in a closed loop thermosyphon with a check valve
Case Studies in Thermal Engineering, 2020 Liquid-vapor flow separation is a major problem in the development of high-efficiency two phase thermosyphons. The closed loop thermosyphons with check valve (CLTP/CV) are able to completely separate the liquid-vapor flow and their efficiency is higher ...
S. Thongdaeng +2 more
doaj +3 more sources
Specialization of derivations in modal logic S5
Lietuvos Matematikos Rinkinys, 2023 Loop-check-free decidable specialization of sequent calculus for modal logic S5 is presented. Soundness and completness of this calculus is proved.
Aida Pliuškevičienė
doaj +3 more sources
Sequent calculi with an efficient loop-check for BDI logics
Lietuvos matematikos rinkinys, 2010 Sequent calculi for BDI logics is a research object of the thesis. BDI logics are widely used for agent system description and implementation. Agents are autonomous systems, those acts in some environment and aspire to achieve preassigned goals.
Alonderis, Romas +1 more
+14 more sources
Efficient decision procedure for Belief modality
Lietuvos Matematikos Rinkinys, 2005 This paper defines decision algorithm for subclass of BKD45DKDIKD logic which is based on known algorithm for temporal BKD45DKDIKD logic [2]. BDI logics are widely used in agent based systems. Such usage of BDI logic can be found in [1].
Adomas Birštunas
doaj +3 more sources
Advanced Loop Thermosiphon With Check Valve (ALT/CV): Thermal Performance and Behavior
International Journal of Renewable Energy Development, 2021 Nanofluids (NFs) are an attractive alternative to traditional working fluids for thermosiphons, but the solid nanoparticles (NPs) within the NF can agglomerate and reduce the thermal performance.
Khridsadakhon Booddachan +2 more
doaj +1 more source
Target tracking mission system design and application
Hangkong gongcheng jinzhan, 2023 Man-aircraft closed-loop characteristics is very important for the high precision flight mission.In order to check man-aircraft closed-loop characteristics under the condition of shortage of flight test resources, a visual target tracking system is ...
ZHANG Ying +3 more
doaj +1 more source
Loop checking and negation [PDF]
The Journal of Logic Programming, 1991 AbstractIn this paper we extend the concept of loop checking from positive programs (as described in [1]) to locally stratified programs. Such an extension is not straightforward: the introduction of negation requires a (re)consideration of the choice of semantics, the description of a related search space, and new soundness and completeness results ...
openaire +1 more source