Măźmăźáźźsăź Deontic Logic: Proof Theory and Applications
TABLEAUX(2015)
摘要
Starting with the deontic principles in Măï¾źmăï¾źáï¾źï¾źsăï¾ź texts we introduce a new deontic logic. We use general proof-theoretic methods to obtain a cut-free sequent calculus for this logic, resulting in decidability, complexity results and neighbourhood semantics. The latter is used to analyse a well known example of conflicting obligations from the Vedas.
更多查看译文
关键词
Modal Logic, Sequent Calculus, Deontic Logic, Proof Search, Neighbourhood Semantic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络