Results 1 to 10 of about 830,140 (297)

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 inference rules with or branches to make all rules invertible or semi-invertible.
Adomas Birštunas
openaire   +3 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ė
openaire   +4 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, N. Pipatpaiboon, A. Donmuang   +2 more
exaly   +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. Termination of derivations in proposed calculus is justified.
Aida Pliuškevičienė
openaire   +4 more sources

Loop-check free sequent calculi for unary fragment of temporal logic

Lietuvos matematikos rinkinys
This paper explores the construction of an efficient sequent calculus for a selected fragment of porpositional linear temporal logic (PLTL), extending the ideas of classical calculi discussed in [1], and builds upon previous investigations into the issue of loops in PLTL.
Lukas Maksimiak, Adomas Birštunas
openaire   +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

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, Nipon Bhuwakietkumjohn, Thanya Parameethanuwat   +2 more
doaj   +1 more source

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, Pliuškevičius, Regimantas Ričardas   +1 more
  +12 more sources

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, MENG Zehai, RAO Qiulei, HE Tai   +3 more
doaj   +1 more source