Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 10)

H-INDEX

(FIVE YEARS 1)

Published By Springer Singapore

9789811522208, 9789811522215

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

De Re, De Dicto, and Binding Modalities

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_8 ◽

2020 ◽

pp. 147-171

Author(s):

Melvin Fitting

Keyword(s):

De Re ◽

De Dicto

Download Full-text

Local Fact Change Logic

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_5 ◽

2020 ◽

pp. 73-96

Author(s):

Declan Thompson

Download Full-text

Logics for Knowability Paradox with a Non-normal Possibility Operator

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_4 ◽

2020 ◽

pp. 51-72

Author(s):

Youan Su ◽

Katsuhiko Sano

Keyword(s):

Knowability Paradox

Download Full-text

A Logical Characterization of the Continuous Bar Induction

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_2 ◽

2020 ◽

pp. 25-33

Author(s):

Makoto Fujiwara ◽

Tatsuji Kawai

Download Full-text

Influence in Different Network Structures

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_10 ◽

2020 ◽

pp. 199-217

Author(s):

Yunqi Xue ◽

Rohit Parikh ◽

Mihai Gociu

Keyword(s):

Network Structures

Download Full-text

The Modal Logics of the Poison Game

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_1 ◽

2020 ◽

pp. 3-23

Author(s):

Francesca Zaffora Blando ◽

Krzysztof Mierzewski ◽

Carlos Areces

Keyword(s):

Modal Logics

Download Full-text

Solution Complexity of Local Variants of Sabotage Game

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_6 ◽

2020 ◽

pp. 97-121

Author(s):

Tianwei Zhang

Download Full-text

Graph Games and Logic Design

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_7 ◽

2020 ◽

pp. 125-146

Author(s):

Johan van Benthem ◽

Fenrong Liu

Keyword(s):

Logic Design ◽

Graph Games

Download Full-text

Refutation Systems: An Overview and Some Applications to Philosophical Logics

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_9 ◽

2020 ◽

pp. 173-197 ◽

Cited By ~ 1

Author(s):

Valentin Goranko ◽

Gabriele Pulcini ◽

Tomasz Skura

Keyword(s):

Refutation Systems

Download Full-text

Unary and Two-Variable Interval Logics

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-15-2221-5_3 ◽

2020 ◽

pp. 35-50

Author(s):

Kamal Lodaya

Keyword(s):

Variable Interval

Download Full-text

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica LibraryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Singapore

De Re, De Dicto, and Binding Modalities

Local Fact Change Logic

Logics for Knowability Paradox with a Non-normal Possibility Operator

A Logical Characterization of the Continuous Bar Induction

Influence in Different Network Structures

The Modal Logics of the Poison Game

Solution Complexity of Local Variants of Sabotage Game

Graph Games and Logic Design

Refutation Systems: An Overview and Some Applications to Philosophical Logics

Unary and Two-Variable Interval Logics

Knowledge, Proof and Dynamics - Logic in Asia: Studia Logica Library
Latest Publications