Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
2 Readers on Mendeley
by Discipline
by Academic Status
50% Researcher (at a non-Academic Institution)
50% Assistant Professor
by Country
50% Netherlands
50% United States