Mathematical Logic and Its Applications
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer US

9781461282341, 9781461308973

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Non-Deterministic Program Schemata and Their Relation to Dynamic Logic

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_9 ◽

1987 ◽

pp. 137-147 ◽

Cited By ~ 1

Author(s):

V. A. Nepomniaschy ◽

N. V. Shilov

Keyword(s):

Dynamic Logic

Differentiation of Constructive Functions of a Real Variable and Relative Computability

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_6 ◽

1987 ◽

pp. 81-106 ◽

Cited By ~ 1

Author(s):

Osvald Demuth ◽

Pavel Filipec

Keyword(s):

Real Variable

A Constructive Morse Theory of Sets

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_5 ◽

1987 ◽

pp. 61-79 ◽

Cited By ~ 2

Author(s):

Douglas S. Bridges

Keyword(s):

Morse Theory

Propositional Dynamic Logic in Two- and More Dimensions

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_24 ◽

1987 ◽

pp. 323-329 ◽

Cited By ~ 2

Author(s):

Assen Petkov

Keyword(s):

Dynamic Logic ◽

Propositional Dynamic Logic

Approximating the Projective Model

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_19 ◽

1987 ◽

pp. 273-282 ◽

Cited By ~ 1

Author(s):

Evangelos Kranakis

Keyword(s):

Projective Model

Cut-Elimination Theorem for Higher-Order Classical Logic: An Intuitionistic Proof

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_16 ◽

1987 ◽

pp. 243-251 ◽

Cited By ~ 1

Author(s):

A. G. Dragalin

Keyword(s):

Classical Logic ◽

Higher Order ◽

Cut Elimination

Intuitionistic Formal Spaces — A First Communication

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_12 ◽

1987 ◽

pp. 187-204 ◽

Cited By ~ 54

Author(s):

Giovanni Sambin

Modal Environment for Boolean Speculations

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_17 ◽

1987 ◽

pp. 253-263 ◽

Cited By ~ 50

Author(s):

George Gargov ◽

Solomon Passy ◽

Tinko Tinchev

A Completeness Theorem for Higher-Order Intuitionistic Logic: An Intuitionistic Proof

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_7 ◽

1987 ◽

pp. 107-124 ◽

Cited By ~ 3

Author(s):

A. G. Dragalin

Keyword(s):

Intuitionistic Logic ◽

Completeness Theorem ◽

Higher Order

Godel’s Life and Work

Mathematical Logic and Its Applications ◽

10.1007/978-1-4613-0897-3_3 ◽

1987 ◽

pp. 23-36

Author(s):

P. P. Petkov