A First-order Framework for Inquisitive Modal Logic.

Silke Meissner Martin Otto

Published in: Rev. Symb. Log. (2022)

Keyphrases

modal logic
temporal logic
main contribution
inference rules
logical framework
conditional logic
description logics