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