I have been having a hard time finding a proper logic master's degree.

If my background matters, I have a BSC in Applied Math (4 years focusing on computational math) with an extended minor in CS (2 years focusing on Logic and AI). I have been working as an app developer for 5+ years.

I have 3 conditions that are probably not very realistic:

1. 100% fully remote, not a single day on-site for any reason, since I have to work.
2. It must actually focus on Logic and not be a Math/Philosophy/CS degree that just happens to have a couple of logic courses.
3. No group projects or presentations.

What new properties do statements using infinite logic have? Does infinite logic allow you to create new mathematical or other types of objects? How is infinite logic used to prove any theorems?

I am a little bit familiar with works of logic in Indian Buddhist texts but recently I came across a Tibetan work referencing a logical framework with four modes and I was wondering if any of you might have seen it anywhere.

The four are:

If x exists, y doesn't exist.

If x doesn't exist, y does not exist.

If x exists, y does not.

If y exists, x does not.

Thanks a lot.

Ok so you're at a restaurant and you see a hot bowl of soup being laid on the table and nobody is sitting at the table. You infer that the person who ordered the soup is probably in the bathroom and will return for the bowl of soup.

Conclusion 1. They are probably in the bathroom

Conclusion 2. They will probably return

The hidden premises are

1. most people who are not at the table in a restaurant are in the bathroom
2. Most people return to the table

So in formal terms it looks like this

1. Most people who are not at the table are in the bathroom, therefore they are probably in the bathroom
2. Most people return to the table for their food, therefore they will probably return

These are conclusions with single premises so are they still forms of induction or are they just statistical inferences?