PhilosophyIdeas
.com Database
|
Current Total Ideas:
21,988
|
home
|
back
structure for 'Formal Logic'
|
alphabetical list of themes
|
expand these ideas
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / b. System K
[modern simple version, on which others build]
2 ideas
14970
Normal system K has five axioms and rules
[Cresswell]
9742
The system K has no accessibility conditions
[Fitting/Mendelsohn]