Independence-Friendly Modal Logic. Studies in...
URL: https://theses.hal.science/tel-00856495
Dataset description:
The doctoral dissertation introduces independence-friendly (IF) modal logic as an extension of standard modal logic. Making use of the notion of uniform strategy, a...
Source: Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance.
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 9, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 1 day ago |
| Id | 1885b299-de34-47d6-b62f-da98c4c1a18c |
| Package id | oai-hal-tel-00856495v1 |
| Resource type | HTML |
| State | active |