Decision procedures for prepositional linear-time belief-desire-intention logics
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A decision procedure for a temporal belief logicPublished by Springer Nature ,2005
- Intelligent AgentsPublished by Springer Nature ,1995
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- TABLEAUX: A general theorem prover for modal logicsJournal of Automated Reasoning, 1991
- Intention is choice with commitmentArtificial Intelligence, 1990
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963