Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time

    Research output: Chapter in Book/Conference paperConference paperpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 16th International Symposium on Temporal Representation and Reasoning
    EditorsCarsten Lutz, Jean-Francois Raskin
    Place of PublicationLos Alamitos, California
    PublisherIEEE, Institute of Electrical and Electronics Engineers
    Pages81-87
    Volume1
    EditionBressanone-Brixen, Italy
    ISBN (Print)9780769537276
    DOIs
    Publication statusPublished - 2009
    EventAxiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time - Bressanone-Brixen, Italy
    Duration: 1 Jan 2009 → …

    Conference

    ConferenceAxiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time
    Period1/01/09 → …

    Cite this