The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

A modal logic for reasoning about economic policies

A modal logic for reasoning about economic policies
A modal logic for reasoning about economic policies

The article introduces a modal logic for reasoning about combined effect of economic policies imposed on a group of rational agents. Modalities in this language are labelled by policies applied to the players in a strategic game. The resulting logical system allows to reason about properties that are true in all Nash equilibria of the game modified by a specific policy. The main technical result is the completeness theorem for the proposed logical system.

Axiomatization, Completeness, Modal logic, Strategic games
0955-792X
395-412
Naumov, Pavel G.
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Naumov, Pavel G.
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056

Naumov, Pavel G. and Tao, Jia (2017) A modal logic for reasoning about economic policies. Journal of Logic and Computation, 27 (1), 395-412. (doi:10.1093/logcom/exv053).

Record type: Article

Abstract

The article introduces a modal logic for reasoning about combined effect of economic policies imposed on a group of rational agents. Modalities in this language are labelled by policies applied to the players in a strategic game. The resulting logical system allows to reason about properties that are true in all Nash equilibria of the game modified by a specific policy. The main technical result is the completeness theorem for the proposed logical system.

Text
2015-jlc - Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (369kB)

More information

e-pub ahead of print date: 13 August 2015
Published date: February 2017
Keywords: Axiomatization, Completeness, Modal logic, Strategic games
Learn more about Agents, Interactions and Complexity research

Identifiers

Local EPrints ID: 479546
URI: http://eprints.soton.ac.uk/id/eprint/479546
DOI: doi:10.1093/logcom/exv053
ISSN: 0955-792X
PURE UUID: e85f4b2a-f250-4612-baf5-8e167199ac6c
ORCID for Pavel G. Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 26 Jul 2023 16:36
Last modified: 17 Mar 2024 04:10

Export record

Altmetrics

Contributors

Author: Pavel G. Naumov ORCID iD
Author: Jia Tao

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×