Foundations of the Formal Sciences II - Trends in Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789048162338, 9789401703956

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

World Travelling and Mood Swings

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_18 ◽

2003 ◽

pp. 257-260 ◽

Cited By ~ 12

Author(s):

Kai Frederick Wehmeier

Download Full-text

Situated Reasoning in Time about Time

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_14 ◽

2003 ◽

pp. 185-202

Author(s):

Alice G. B. ter Meulen

Download Full-text

The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_13 ◽

2003 ◽

pp. 175-184

Author(s):

José Martínez Fernández

Keyword(s):

Fixed Point ◽

Fixed Point Problem ◽

Point Problem

Download Full-text

New Semantics for Modal Predicate Logics

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_11 ◽

2003 ◽

pp. 151-162 ◽

Cited By ~ 2

Author(s):

Oliver Kutz

Keyword(s):

Modal Predicate Logics

Download Full-text

Features in Phonological Theory

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_10 ◽

2003 ◽

pp. 123-149 ◽

Cited By ~ 2

Author(s):

Marcus Kracht

Download Full-text

Topics in Reverse Mathematics

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_6 ◽

2003 ◽

pp. 63-87

Author(s):

Mariagnese Giusto

Keyword(s):

Reverse Mathematics

Download Full-text

The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_1 ◽

2003 ◽

pp. 1-23

Author(s):

Anouk Barberousse

Keyword(s):

Statistical Mechanics ◽

Scientific Theories

Download Full-text

Analysis and Design from a Viewpoint of Information Flow

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_9 ◽

2003 ◽

pp. 119-122 ◽

Cited By ~ 1

Author(s):

Makoto Kikuchi

Keyword(s):

Information Flow ◽

Analysis And Design

Download Full-text

What is Input/Output Logic?

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_12 ◽

2003 ◽

pp. 163-174 ◽

Cited By ~ 14

Author(s):

David Makinson ◽

Leendert van der Torre

Keyword(s):

Input Output

Download Full-text

The Logic of Intensional Predicates

Foundations of the Formal Sciences II - Trends in Logic ◽

10.1007/978-94-017-0395-6_7 ◽

2003 ◽

pp. 89-111

Author(s):

Leon Horsten

Download Full-text

Foundations of the Formal Sciences II - Trends in LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

World Travelling and Mood Swings

Situated Reasoning in Time about Time

The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions

New Semantics for Modal Predicate Logics

Features in Phonological Theory

Topics in Reverse Mathematics

The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories

Analysis and Design from a Viewpoint of Information Flow

What is Input/Output Logic?

The Logic of Intensional Predicates

Foundations of the Formal Sciences II - Trends in Logic
Latest Publications