On the complexity of resource-bounded logics

QR Code

On the complexity of resource-bounded logics

We revisit decidability results for resource-bounded logics and use decision problems on vector addition systems with states (VASS) in order to establish complexity characterisations of (decidable) model checking problems. We show that the model checking problem for the logic RB+-ATL is 2EXPTIME-com...

Full description

Bibliographic Details
Main Authors:	Alechina, N., Bulling, N., Demri, S., Logan, B.
Format:	Article
Published:	Elsevier 2018
Online Access:	https://eprints.nottingham.ac.uk/49359/

Similar Items

On the complexity of resource-bounded logics
by: Alechina, Natasha, et al.
Published: (2016)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

Practical run-time norm enforcement with bounded lookahead
by: Alechina, Natasha, et al.
Published: (2015)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

Model-checking for resource-bounded ATL with production and consumption of resources
by: Alechina, Natasha, et al.
Published: (2017)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

Rule-based and Resource-bounded: A New Look at Epistemic Logic
by: Jago, Mark
Published: (2006)

Accessible bounds for general quantum resources
by: Bromley, Thomas R., et al.
Published: (2018)

Verifying requirements for resource-bounded agents
by: Abdur, Rakib
Published: (2011)

Coalition and coalition announcement logic
by: Galimullin, Rustam, et al.
Published: (2017)

Qualitative spatial logics for buffered geometries
by: Du, Heshan, et al.
Published: (2016)

A logic of directions
by: Du, Heshan, et al.
Published: (2020)

A logic for reasoning about knowledge of unawareness
by: Agotnes, Thomas, et al.
Published: (2014)

Coalition logic with individual, distributed and common knowledge
by: Ågotnes, Thomas, et al.
Published: (2016)

Using qualitative spatial logic for validating crowd-sourced geospatial data
by: Du, Heshan, et al.
Published: (2015)

Symbolic model checking for one-resource RB+-ATL
by: Alechina, Natasha, et al.
Published: (2015)

Reasoning about resource-bounded multi-agent systems
by: Nguyen, Nguyen
Published: (2011)

Social capital, bounded agency and fuzzy logic: making data work in real world applications
by: Clancy, Sharon. L., et al.
Published: (2017)

Synthesis and Photochemical Properties of Re(I) Tricarbonyl Complexes Bound to Thione and Thiazol-2-ylidene Ligands
by: Stout, Matthew J., et al.
Published: (2020)

Modelling excited states of weakly bound complexes with density functional theory
by: Briggs, Edward A., et al.
Published: (2014)

Language classes generated by tree controlled grammars with bounded nonterminal complexity
by: Turaev, Sherzod, et al.
Published: (2012)

Bound on some Diophantine equation
by: Amalulhair, N. H., et al.
Published: (2022)

Immunity protein release from a cell-bound nuclease colicin complex requires global conformational rearrangement
by: Vankemmelbeke, Mireille, et al.
Published: (2013)

Convocation bound
by: Siti Sarah, Mohamad Rajimi
Published: (2017)

Development of genetic fuzzy logic controllers for complex production systems
by: Homayouni, Seyed Mahdi, et al.
Published: (2009)

CO and NO desorption from N-bounded carbonaceous surface complexes: density functional theory calculations
by: Wang, Shaobin
Published: (2010)

FuGeF: a resource bound secure forwarding protocol for wireless sensor networks
by: Umar, Idris Abubakar, et al.
Published: (2016)

Belief and bounded rationality
by: Jago, Mark
Published: (2006)

Belief and bounded rationality
by: Jago, Mark
Published: (2006)

Education knows no bounds
by: New Sunday Tribune
Published: (2013)

Bounds on the order of connected domination vertex critical graphs
by: Kaemawichanurat, P., et al.
Published: (2018)

Is it possible to select team roles to form a successful team: Is team effectiveness bound by the resources available?
by: Wood, Katherine
Published: (2010)

Norm approximation for imperfect monitors
by: Alechina, Natasha, et al.
Published: (2014)

Efficient minimal preference change
by: Alechina, Natasha, et al.
Published: (2015)

Extended bounds of beatty sequence associated with primes
by: Deraman, Fatanah, et al.
Published: (2019)

Transferrin receptor 2 mediates uptake of transferrin-bound and non-transferrin-bound iron
by: Graham, R., et al.
Published: (2008)