|
|||||
|
|
Recursive complexity of the Carnap first order modal logic C |
|
| Authors: | Amlie Gheerbrant Marcin Mostowski |
| Institution: | Amélie Gheerbrant,Marcin Mostowski |
| Abstract: | |
| Keywords: | Modal logic Carnap modal logic alethic modalities degrees of unsolvability finite models second order logic Henkin quantifiers |