First-Order Modal Logic
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Netherlands

9780792353355, 9789401152921

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Terms and Predicate Abstraction

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_9 ◽

1998 ◽

pp. 187-203

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Keyword(s):

Predicate Abstraction

Download Full-text

Equality

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_7 ◽

1998 ◽

pp. 140-162

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Download Full-text

First-Order Axiom Systems

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_6 ◽

1998 ◽

pp. 132-139

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Keyword(s):

First Order ◽

Axiom Systems

Download Full-text

Tableau Proof Systems

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_2 ◽

1998 ◽

pp. 46-66

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Keyword(s):

Proof Systems

Download Full-text

First-Order Tableaus

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_5 ◽

1998 ◽

pp. 116-131

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Keyword(s):

First Order

Download Full-text

Definite Descriptions

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_12 ◽

1998 ◽

pp. 248-275

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Keyword(s):

Definite Descriptions

Download Full-text

Designation

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_11 ◽

1998 ◽

pp. 230-247

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Download Full-text

Existence and Actualist Quantification

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_8 ◽

1998 ◽

pp. 163-186

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Download Full-text

Quantified Modal Logic

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_4 ◽

1998 ◽

pp. 81-115 ◽

Cited By ~ 1

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Keyword(s):

Modal Logic ◽

Quantified Modal Logic

Download Full-text

Abstraction Continued

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_10 ◽

1998 ◽

pp. 204-229

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Download Full-text