TY -
T1 - On Extensions and Variants of Dependence Logic : A study of intuitionistic connectives in the team semantics setting
SN - /
UR - URN:ISBN:978-952-10-9787-4; http://hdl.handle.net/10138/43011
T3 -
A1 - Yang, Fan
A2 -
PB - Helsingin yliopisto
Y1 - 2014
LA - eng
AB - Dependence logic is a new logic which incorporates the notion of dependence , as well as independence between variables into first-order logic. In this thesis, we study extensions and variants of dependence logic on the first-order, propositional and modal level. In particular, the role of intuitionistic connectives in this setting is emphasized.
We obtain, among others, the following results: 1. First-order intuitionistic dependence logic is proved to have the same expressive power as the ...
VO -
IS -
SP -
OP -
KW - mathematics
N1 -
PP -
ER -