All Questions
Tagged with reference-request modal-logic
2 questions
4
votes
1
answer
170
views
Is there any work on the use of free logic in proof assistants?
I've been reading up on free logic. I have a hunch it could be useful for type theory. For example, the fixed point of an expression might not always exist or an expression might not be well typed in ...
- 2,898
4
votes
1
answer
112
views
Use of modal logic in metaprogramming
I know modal logic has been experimented with for formalizing macros and metaprogramming before but I am not really familiar with the details. I would like to read up more on the use of modal logic ...
- 2,898