Open AccessDyadic deontic logic and semantic tableaux
Author(s) -
Daniel Rönnedal
Publication year - 2010
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2009.011
Subject(s) - deontic logic , soundness , completeness (order theory) , semantics (computer science) , computer science , kripke semantics , linguistics , artificial intelligence , mathematics , philosophy , programming language , description logic , intermediate logic , mathematical analysis