发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| USA | 43 |
| England | 23 |
| GERMANY (FED REP GER) | 23 |
| Italy | 22 |
| France | 21 |
| Netherlands | 18 |
| CHINA MAINLAND | 14 |
| Japan | 11 |
| Austria | 10 |
| Russia | 9 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTI... | 15 |
| UNIVERSITY OF AMSTERDAM | 10 |
| TECHNISCHE UNIVERSITAT WIEN | 9 |
| CITY UNIVERSITY OF NEW YORK (CUNY) SYST... | 8 |
| CONSEJO NACIONAL DE INVESTIGACIONES CIE... | 5 |
| HSE UNIVERSITY (NATIONAL RESEARCH UNIVE... | 5 |
| RUSSIAN ACADEMY OF SCIENCES | 5 |
| UNIVERSITY OF BAYREUTH | 5 |
| UNIVERSITY OF LIVERPOOL | 5 |
| JAPAN ADVANCED INSTITUTE OF SCIENCE & T... | 4 |
文章引用情况
1
Terminating sequent calculi for two intuitionistic modal logics2
On the aggregation of argumentation frameworks: operators and postulates3
Proof search in a context-sensitive logic for molecular biology4
A labelled sequent calculus for BBI: proof theory and proof search5
Backward induction in presence of cycles6
Belief base rationalization for propositional merging7
On fixpoint logics and equivalences for processes with restricted nondeterminism8
Strong jump inversion9
A modal separation logic for resource dynamics10
Judgment aggregation in dynamic logic of propositional assignments