Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Lodaya, Kamal"'
In dynamic epistemic logic (Van Ditmarsch, Van Der Hoek, & Kooi, 2008) it is customary to use an action frame (Baltag & Moss, 2004; Baltag, Moss, & Solecki, 1998) to describe different views of a single action. In this article, action frames are exte
Externí odkaz:
http://arxiv.org/abs/2211.02452
Publikováno v:
Logical Methods in Computer Science, Volume 16, Issue 3 (September 8, 2020) lmcs:5206
We study two extensions of FO2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable atomic formulas that say, "the letter $a$ appears between positions
Externí odkaz:
http://arxiv.org/abs/1902.05905
Autor:
Lodaya, Kamal, Pandya, Paritosh K.
Publikováno v:
EPTCS 243, 2017, pp. 23-40
In temporal logics, a central question is about the choice of modalities and their relative expressive power, in comparison to the complexity of decision problems such as satisfiability. In this tutorial, we will illustrate the study of such question
Externí odkaz:
http://arxiv.org/abs/1703.02193
We study an extension of FO^2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable atomic formulas that say, `the letter a appears between positions x a
Externí odkaz:
http://arxiv.org/abs/1603.05625
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems; November 2024, Vol. 43 Issue: 11 p4310-4321, 12p
Autor:
Praveen, M., Lodaya, Kamal
We associate a graph with a 1-safe Petri net and study the parameterized complexity of various problems with parameters derived from the graph. With treewidth as the parameter, we give W[1]-hardness results for many problems about 1-safe Petri nets.
Externí odkaz:
http://arxiv.org/abs/1106.2122
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Philosophical Logic, 2011 Oct 01. 40(5), 583-632.
Externí odkaz:
https://www.jstor.org/stable/41487534
Logical Methods in Computer Science ; Volume 16, Issue 3 ; 1860-5974
We study two extensions of FO2[
We study two extensions of FO2[
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7809b8f9bb808362ee9dadb9fe1355df
https://doi.org/10.23638/lmcs-16(3:16)2020
https://doi.org/10.23638/lmcs-16(3:16)2020
Autor:
Lodaya, Kamal
Publikováno v:
The Bulletin of Symbolic Logic, 2017 Jun 01. 23(2), 203-204.
Externí odkaz:
https://www.jstor.org/stable/44259449