Informatica logo


Login Register

  1. Home
  2. Issues
  3. Volume 15, Issue 3 (2004)
  4. Decision Procedure for Temporal Logic of ...

Informatica

Information Submit your article For Referees Help ATTENTION!
  • Article info
  • Related articles
  • More
    Article info Related articles

Decision Procedure for Temporal Logic of Belief and Actions
Volume 15, Issue 3 (2004), pp. 379–398
Regimantas Pliuškevičius   Aida Pliuškevičienė  

Authors

 
Placeholder
https://doi.org/10.15388/Informatica.2004.067
Pub. online: 1 January 2004      Type: Research Article     

Received
1 April 2004
Published
1 January 2004

Abstract

A temporal logic of belief and actions (TLBA) is considered. The TLBA allows us to express informational and dynamic properties of computational agents. The considered fragment of TLBA allows one: (1) to present a deduction‐based structured decision procedure; (2) to separate a decision procedure for so‐called induction‐free formulas and (3) to use only logical axioms for such formulas. The main new technical tool of the presented decision procedure is separation rules which incorporate traditional rules for the temporal operator “next”, belief modalities and action constants.

Related articles PDF XML
Related articles PDF XML

Copyright
No copyright data available.

Keywords
rational agent temporal, modal, and dynamic logics agent‐based logic deduction‐based decision procedure sequent calculus

Metrics
since January 2020
462

Article info
views

0

Full article
views

257

PDF
downloads

189

XML
downloads

Export citation

Copy and paste formatted citation
Placeholder

Download citation in file


Share


RSS

INFORMATICA

  • Online ISSN: 1822-8844
  • Print ISSN: 0868-4952
  • Copyright © 2023 Vilnius University

About

  • About journal

For contributors

  • OA Policy
  • Submit your article
  • Instructions for Referees
    •  

    •  

Contact us

  • Institute of Data Science and Digital Technologies
  • Vilnius University

    Akademijos St. 4

    08412 Vilnius, Lithuania

    Phone: (+370 5) 2109 338

    E-mail: informatica@mii.vu.lt

    https://informatica.vu.lt/journal/INFORMATICA
Powered by PubliMill  •  Privacy policy