| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662783 | Annals of Pure and Applied Logic | 2008 | 13 Pages |
Abstract
Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modaln-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics and .
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
