Abstract | ||
---|---|---|
. In this paper, adaptive logics are studied from the viewpoint of universal logic (in the sense of the study of common structures
of logics). The common structure of a large set of adaptive logics is described. It is shown that this structure determines
the proof theory as well as the semantics of the adaptive logics, and moreover that most properties of the logics can be proved
by relying solely on the structure, viz. without invoking any specific properties of the logics themselves. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/s11787-006-0012-5 | Logica Universalis |
Keywords | DocType | Volume |
generic metatheory.,. adaptive logics,dynamic proofs,proof theory | Journal | 1 |
Issue | ISSN | Citations |
1 | 1661-8300 | 54 |
PageRank | References | Authors |
3.62 | 5 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |