Questions tagged [formalisation]

The tag has no usage guidance.

2
votes
0answers
97 views

What is the difference between Herbrand Logic and Relational Logic or Predicate Logic?

I am learning a course from Stanford University, and it introduces the notion of Herbrand Logic. However in Wikipedia I cannot find a definition specifically for "Herbrand Logic", only for Herbrand ...
1
vote
0answers
36 views

Trees/tableaux fir K-IF logic

Are there any attempts for tableaux/ tree rules for Hintikkas K-IF logic?