Some Remarks on Alternating Temporal Epistemic Logic

W.J. Jamroga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003)
    EditorsB. Dunin-Keplicz, R. Verbrugge
    Pages133-139
    Number of pages7
    Publication statusPublished - 2003
    EventFormal Approaches to Multi-Agent Systems (FAMAS 2003) - Warsaw, Poland
    Duration: 12 Apr 200312 Apr 2003

    Workshop

    WorkshopFormal Approaches to Multi-Agent Systems (FAMAS 2003)
    Abbreviated titleFAMAS 2003
    CountryPoland
    CityWarsaw
    Period12/04/0312/04/03
    OtherHeld in conjunction with ETAPS 2003, April 5-13, 2003, Warsaw, Poland

    Keywords

    • EWI-6700
    • HMI-IA: Intelligent Agents

    Cite this

    Jamroga, W. J. (2003). Some Remarks on Alternating Temporal Epistemic Logic. In B. Dunin-Keplicz, & R. Verbrugge (Eds.), Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003) (pp. 133-139)