Matches in SemOpenAlex for { <https://semopenalex.org/work/W2942066025> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2942066025 abstract "Term modal logics (TML) are modal logics with unboundedly many modalities, with quantification over modal indices, so that we can have formulas of the form $exists y. forall x. (Box_x P(x,y) supsetDiamond_y P(y,x))$. Like First order modal logic, TML is also notoriously undecidable, in the sense that even very simple fragments are undecidable. In this paper, we show the decidability of one interesting fragment, that of two variable TML. This is in contrast to two-variable First order modal logic, which is undecidable." @default.
- W2942066025 created "2019-05-03" @default.
- W2942066025 creator A5025255226 @default.
- W2942066025 creator A5049510914 @default.
- W2942066025 date "2019-04-23" @default.
- W2942066025 modified "2023-09-27" @default.
- W2942066025 title "Two variable fragment of Term Modal Logic" @default.
- W2942066025 cites W1649425559 @default.
- W2942066025 cites W2028164131 @default.
- W2942066025 cites W2086470346 @default.
- W2942066025 cites W2137935204 @default.
- W2942066025 cites W2138126349 @default.
- W2942066025 cites W2163751633 @default.
- W2942066025 cites W2583481224 @default.
- W2942066025 cites W2738031339 @default.
- W2942066025 cites W2753463685 @default.
- W2942066025 cites W2786150474 @default.
- W2942066025 cites W2795201343 @default.
- W2942066025 cites W2800779560 @default.
- W2942066025 cites W2810757982 @default.
- W2942066025 cites W2898960428 @default.
- W2942066025 hasPublicationYear "2019" @default.
- W2942066025 type Work @default.
- W2942066025 sameAs 2942066025 @default.
- W2942066025 citedByCount "0" @default.
- W2942066025 crossrefType "posted-content" @default.
- W2942066025 hasAuthorship W2942066025A5025255226 @default.
- W2942066025 hasAuthorship W2942066025A5049510914 @default.
- W2942066025 hasConcept C11191006 @default.
- W2942066025 hasConcept C114092440 @default.
- W2942066025 hasConcept C11413529 @default.
- W2942066025 hasConcept C118615104 @default.
- W2942066025 hasConcept C121332964 @default.
- W2942066025 hasConcept C134306372 @default.
- W2942066025 hasConcept C153269930 @default.
- W2942066025 hasConcept C173125200 @default.
- W2942066025 hasConcept C182365436 @default.
- W2942066025 hasConcept C185592680 @default.
- W2942066025 hasConcept C188027245 @default.
- W2942066025 hasConcept C192034797 @default.
- W2942066025 hasConcept C27508121 @default.
- W2942066025 hasConcept C2776235265 @default.
- W2942066025 hasConcept C33923547 @default.
- W2942066025 hasConcept C41008148 @default.
- W2942066025 hasConcept C61797465 @default.
- W2942066025 hasConcept C62520636 @default.
- W2942066025 hasConcept C71139939 @default.
- W2942066025 hasConceptScore W2942066025C11191006 @default.
- W2942066025 hasConceptScore W2942066025C114092440 @default.
- W2942066025 hasConceptScore W2942066025C11413529 @default.
- W2942066025 hasConceptScore W2942066025C118615104 @default.
- W2942066025 hasConceptScore W2942066025C121332964 @default.
- W2942066025 hasConceptScore W2942066025C134306372 @default.
- W2942066025 hasConceptScore W2942066025C153269930 @default.
- W2942066025 hasConceptScore W2942066025C173125200 @default.
- W2942066025 hasConceptScore W2942066025C182365436 @default.
- W2942066025 hasConceptScore W2942066025C185592680 @default.
- W2942066025 hasConceptScore W2942066025C188027245 @default.
- W2942066025 hasConceptScore W2942066025C192034797 @default.
- W2942066025 hasConceptScore W2942066025C27508121 @default.
- W2942066025 hasConceptScore W2942066025C2776235265 @default.
- W2942066025 hasConceptScore W2942066025C33923547 @default.
- W2942066025 hasConceptScore W2942066025C41008148 @default.
- W2942066025 hasConceptScore W2942066025C61797465 @default.
- W2942066025 hasConceptScore W2942066025C62520636 @default.
- W2942066025 hasConceptScore W2942066025C71139939 @default.
- W2942066025 hasLocation W29420660251 @default.
- W2942066025 hasOpenAccess W2942066025 @default.
- W2942066025 hasPrimaryLocation W29420660251 @default.
- W2942066025 hasRelatedWork W1527526397 @default.
- W2942066025 hasRelatedWork W1608125757 @default.
- W2942066025 hasRelatedWork W2016293897 @default.
- W2942066025 hasRelatedWork W2040640762 @default.
- W2942066025 hasRelatedWork W2057232741 @default.
- W2942066025 hasRelatedWork W2079842345 @default.
- W2942066025 hasRelatedWork W2103653758 @default.
- W2942066025 hasRelatedWork W2124207901 @default.
- W2942066025 hasRelatedWork W2127363472 @default.
- W2942066025 hasRelatedWork W2154175621 @default.
- W2942066025 hasRelatedWork W2158806800 @default.
- W2942066025 hasRelatedWork W2250084181 @default.
- W2942066025 hasRelatedWork W2275097665 @default.
- W2942066025 hasRelatedWork W2811093937 @default.
- W2942066025 hasRelatedWork W2963192171 @default.
- W2942066025 hasRelatedWork W2970970075 @default.
- W2942066025 hasRelatedWork W3102047415 @default.
- W2942066025 hasRelatedWork W3102809343 @default.
- W2942066025 hasRelatedWork W3123793150 @default.
- W2942066025 hasRelatedWork W9225573 @default.
- W2942066025 isParatext "false" @default.
- W2942066025 isRetracted "false" @default.
- W2942066025 magId "2942066025" @default.
- W2942066025 workType "article" @default.