Fitting, Melvin
101  Ergebnisse:
Personensuche X
?
1

First-Order Modal Logic 

Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 480
Fitting, Melvin ; Mendelsohn, Richard L - 2nd ed. 2023 . , 2023
 
?
2

Existence:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 253-277 , 2023
 
?
3

Equality and Predicate Abstraction:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 377-382 , 2023
 
?
4

First-Order Modal Axiomatics:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 215-223 , 2023
 
?
5

Quantified Modal Logic:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 159-194 , 2023
 
?
6

Designation:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 383-391 , 2023
 
?
7

Modal Logic, an Introduction:

, In: Synthese Library; First-Order Modal Logic,
 
?
8

Predicate Abstraction, Formally:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 307-330 , 2023
 
?
9

Propositional Modal Logic:

, In: Synthese Library; First-Order Modal Logic,
 
?
10

Definite Descriptions:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 407-447 , 2023
 
?
11

Background: Propositional Language:

, In: Synthese Library; First-Order Modal Logic,
 
?
12

Equality:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 227-252 , 2023
 
?
13

Propositional Modal Axiom Systems:

, In: Synthese Library; First-Order Modal Logic,
 
?
14

Tableaus for Predicate Abstraction:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 331-349 , 2023
 
?
15

Predicate Abstraction, Informally:

, In: Synthese Library; First-Order Modal Logic,
Fitting, Melvin ; Mendelsohn, Richard L. - p. 281-306 , 2023
 
1-15