KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Decidability and Complexity of Some Finitely-valued Dynamic Logics

  1. Igor Sedlár(Czech Academy of Sciences)

Bibtex record

@inproceedings{KR2021-54,
    title     = {{Decidability and Complexity of Some Finitely-valued Dynamic Logics}},
    author    = {Sedlár, Igor},
    booktitle = {{Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {570--580},
    year      = {2021},
    month     = {11},
    doi       = {10.24963/kr.2021/54},
    url       = {https://doi.org/10.24963/kr.2021/54},
  }