( en | de | ru )

 

Disambiguation of "Hustadt, Ullrich"

Author of the publication

copydeleteadd this publication to your clipboard
Computational modal logic.

, , , and . Handbook of Modal Logic, volume 3 of Studies in logic and practical reasoning, North-Holland, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ullrich Hustadt

Herbert Hustadt

Wolfgang Ullrich

Ullrich Miller

Ullrich Kleeberg

 

Other publications of authors with the same name

Efficient Local Reductions to Basic Modal Logic., , , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 76-92. Springer, (2021)Computational modal logic., , , and . Handbook of Modal Logic, volume 3 of Studies in logic and practical reasoning, North-Holland, (2007)Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic., , , and . CADE, volume 14132 of Lecture Notes in Computer Science, page 382-400. Springer, (2023)Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics., , and . PAAR@FLoC, volume 2162 of CEUR Workshop Proceedings, page 34-48. CEUR-WS.org, (2018)Model Construction for Modal Clauses., , , and . IJCAR (2), volume 14740 of Lecture Notes in Computer Science, page 3-23. Springer, (2024)Local is Best: Efficient Reductions to Modal Logic K., , , and . J. Autom. Reason., 66 (4): 639-666 (2022)Local Reductions for the Modal Cube., , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 486-505. Springer, (2022)