Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
Sign Up to like & getrecommendations! Published in 2020 at "Algebra and Logic"
DOI: 10.1007/s10469-020-09581-0
Abstract: We study an extension of temporal logic, a multi-agent logic on models with nontransitive linear time (which is, in a sense, also an extension of interval logic). The proposed relational models admit lacunas in admissibility… read more here.
Keywords: nontransitive linear; admissibility problem; multi agent; admissibility ... See more keywords
Stability and Admissibility Analysis for Zero-Sum Games Under General Value Iteration Formulation.
Sign Up to like & getrecommendations! Published in 2022 at "IEEE transactions on neural networks and learning systems"
DOI: 10.1109/tnnls.2022.3152268
Abstract: In this article, the general value iteration (GVI) algorithm for discrete-time zero-sum games is investigated. The theoretical analysis focuses on stability properties of the systems and also the admissibility properties of the iterative policy pair.… read more here.
Keywords: sum games; admissibility; policy; policy pair ... See more keywords
Further Improvement for Admissibility Analysis of Singular Time-Delay Systems
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"
DOI: 10.1109/tsmc.2021.3103537
Abstract: This article concerns the admissibility analysis of singular time-delay systems. The aim is to get superior criteria in both low conservativeness and less decision variables. To this end, the systems are decomposed and treated with… read more here.
Keywords: time delay; admissibility analysis; singular time; delay systems ... See more keywords
How Victims of Strangulation Survived: Enhancing the Admissibility of Victim Statements to the Police When Survivors are Reluctant to Cooperate.
Sign Up to like & getrecommendations! Published in 2021 at "Violence against women"
DOI: 10.1177/10778012211022772
Abstract: Holding perpetrators accountable for family violence is challenged when survivors are reluctant to testify. In light of recent Supreme Court precedents limiting the admissibility of statements to law enforcement in victimless prosecutions, the current study… read more here.
Keywords: victims strangulation; admissibility; strangulation survived; survived enhancing ... See more keywords
Tautology Elimination, Cut Elimination, and S5
Sign Up to like & getrecommendations! Published in 2017 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2017.005
Abstract: Tautology elimination rule was successfully applied in automated deduction and recently considered in the framework of sequent calculi where it is provably equivalent to cut rule. In this paper we focus on the advantages of… read more here.
Keywords: elimination; tautology elimination; elimination cut; admissibility ... See more keywords