A New Introduction to Modal Logic [ペーパーバック]

assignment  axiom  based  bf  call  called  canonical  case  chapter  characterized  class  complete  completeness  consider  consistent  contains  defined  definition  does  either  even  example  fact  false  finite  first  following  follows  form  formula  frame  free  give  given  holds  however  iff  individual  itself  la  lemma  let  logic  lp  lpc  lq  may  means  members  method  modal  model  mp  must  need  normal  note  now  number  objects  operators  pc  player  predicate  proof  property  proposition  propositional  prove  reflexive  respect  result  rule  s4  s5  satisfy  say  see  semantics  set  shall  show  since  suppose  system  theorem  therefore  thus  transitive  true  two  use  valid  validity  values  variables  w2  wff  world  wrw