Results 11 to 20 of about 1,862,843 (333)

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

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   +4 more sources

A three-loop check of the “a-maximization” in SQCD with adjoint(s) [PDF]

JETP Letters, 2010
5 pages; the title changed, the text improved and ...
D. Anselmi, D. Kutasov, E. Barnes, I. Jack, I. Jack, I. Jack, K. Intriligator, V. L. Chernyak, V. Novikov   +8 more
core   +5 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   +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
doaj   +2 more sources

Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism

Theoretical Computer Science, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bezem, Marc, Coquand, Thierry
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 ...
Lukas Maksimiak, Adomas Birštunas
doaj   +3 more sources

Positivity bounds at one-loop level: the Higgs sector [PDF]

Journal of High Energy Physics, 2023
In this paper, we promote the convex cone method of positive bounds from tree level to loop level. This method is general and can be applied to obtain leading s 2 positivity bounds on the forward scattering process in the standard model effective field ...
Xu Li
doaj   +2 more sources

One- and two-loop checks for the AdS₃×S³×T⁴superstring with mixed flux [PDF]

Journal of Physics A: Mathematical and Theoretical, 2015
We compute the one-loop worldsheet S-matrix for the superstring in AdS(3) x S(3) x T(4) supported by a combination of RR and NSNS flux in the massive sector. In the appropriate regularization scheme it agrees with the S-matrix found from symmetry considerations including the proposed dressing phases.
Per Sundin, Linus Wulff
openaire   +5 more sources