| 《动态认知逻辑专题研究(英文版)》由中山大学出版社出版。 |
chapter 1 foundations 1 epistemic logic 2 dynamic logic pdl 3 dynamic logic pdl~0 and one generalization of it 4 dynamic epistemic logic chapter 2 do an action 1 logics for having done an action ( 1 ) 2 logics for having done an action ( 2 ) 3 logics for intending to do an action 4 logics for being doing an action appendix 1 a logic for transferring a state by resultant force appendix 2 a logic for achieving an intention by doing an action.. chapter 3 know an action 1 self-substitution systems . 2 some versions of self-substitution systems 3 minimal systems and bounded-valuation method 4 semi-infinitary proof systems 5 fixed point systems 6 systems containing dot or dga appendix what is an epistemic action chapter 4 cognize an agent 1 dynamic epistemic logics for knowing an agent 2 epistemic logics for knowing an agent 3 an auto-epistemic logic for knowing an agent 4 a dynamic doxastic logic for believing an agent chapter 5 cognize a concept 1 know a modality concept 2 cognize a cognitive concept 3 cognize a general modal concept chapter 6 know an individual and know a relation 1 know an individual 2 know a relation appendix a first-order epistemic logic chapter 7 dynamic negation 1 characterization by abbreviations 2 characterization by binary relations 3 characterization by ternary relation appendix a action is negated by another action chapter 8 dynamic conditional logies 1 conditional logics for 2 conditional logics for 3 conditional logics for chapter 9 update semantics for epistemic systems 1 general update semantics 2 degenerate frame semantics 3 point relation frame semantics 4 set relation frame semantics 5 transformation function frame semantics 6 selection-class function frame semantics 7 neighborhood function frame semantics 8 dynamic frame semantics bibliography 后记 |
内容加载中，请稍后...
商品评论（0条）