Logic in Asia: Studia Logica Library - Nonclassical Logics and Their Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Singapore

9789811513411, 9789811513428

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Multi-agent Default Theory of Permission

Logic in Asia: Studia Logica Library - Nonclassical Logics and Their Applications ◽

10.1007/978-981-15-1342-8_5 ◽

2020 ◽

pp. 105-121

Author(s):

Huimin Dong

Keyword(s):

Default Theory ◽

Multi Agent

Download Full-text

The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms

Logic in Asia: Studia Logica Library - Nonclassical Logics and Their Applications ◽

10.1007/978-981-15-1342-8_2 ◽

2020 ◽

pp. 15-66

Author(s):

Peter A. Streufert

Keyword(s):

Choice Sequence ◽

Choice Set

Download Full-text

Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$

Logic in Asia: Studia Logica Library - Nonclassical Logics and Their Applications ◽

10.1007/978-981-15-1342-8_1 ◽

2020 ◽

pp. 1-14

Author(s):

Tommaso Flaminio ◽

Sara Ugolini

Download Full-text

Contact Logic is Finitary for Unification with Constants

Logic in Asia: Studia Logica Library - Nonclassical Logics and Their Applications ◽

10.1007/978-981-15-1342-8_4 ◽

2020 ◽

pp. 85-104

Author(s):

Philippe Balbiani ◽

Çiğdem Gencer

Download Full-text

Algebraic Semantics for Hybrid Logics

Logic in Asia: Studia Logica Library - Nonclassical Logics and Their Applications ◽

10.1007/978-981-15-1342-8_6 ◽

2020 ◽

pp. 123-154 ◽

Cited By ~ 1

Author(s):

Willem Conradie ◽

Claudette Robinson

Keyword(s):

Algebraic Semantics

Download Full-text

About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability

Logic in Asia: Studia Logica Library - Nonclassical Logics and Their Applications ◽

10.1007/978-981-15-1342-8_3 ◽

2020 ◽

pp. 67-83

Author(s):

Philippe Balbiani

Keyword(s):

Temporal Logic ◽

Linear Orders

Download Full-text

Logic in Asia: Studia Logica Library - Nonclassical Logics and Their ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Singapore

A Multi-agent Default Theory of Permission

The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms

Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$

Contact Logic is Finitary for Unification with Constants

Algebraic Semantics for Hybrid Logics

About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability

Logic in Asia: Studia Logica Library - Nonclassical Logics and Their Applications
Latest Publications