.png){kind=icon}
.png){kind=icon}
Return
Geometric theories in inquisitive modal logic
.png){kind=icon}
PRE
AI
M
DOI：10.1093/logcom/exaf082.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
We provide sound and complete axiomatizations for a large class of inquisitive modal logics. Inquisitive modal logic can be regarded as an extension of standard modal logic that allows to reason about informative and interrogative aspects of meaning in a uniform way. After introducing a suitable frame language for inquisitive modal logic, we construct modular labelled sequent calculi for all inquisitive modal logics characterized by a certain type of frame conditions called geometric implications. The construction is based on a general method developed by Negri. Each of our calculi is shown to satisfy cut-admissibility, height-preserving admissibility of weakening and contraction and height-preserving invertibility of all rules. The completeness of our proof systems is established by a countermodel construction in the style of Takeuti.
Keywords:
inquisitive modal logic
proof theory
inquisitive semantics
team semantics
epistemic logic
doxastic logic
labelled sequent calculi
geometric rules
non-classical logics
Journal
J
IF:
0
Papers:
44
Citations:
0
Organization
Cited Papers