Preskoči na sadržaj
Moj profil Upisi

neobjavljeni prilog sa skupa · 2026

Tableaux for inquisitive modal logic

Tin Perkov

Sažetak

We provide a tableaux procedure for testing satisfiability and refutability of formulas of inquisitive modal logic InqML. We show that the procedure is sound, complete, and that it always terminates.

Ključne riječi

tableaux inquisitive logic modal logic