Entry tags:

logic

found something to read

https://logic.rwth-aachen.de/~kaiser/weak_mso_composition.pdf

Weak monadic second-order logic (quantification over finite collections of domain objects) - "good for computing".

Post a comment in response:

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

HTML doesn't work in the subject.

Formatting type

Message