Matches in SemOpenAlex for { <https://semopenalex.org/work/W4211144022> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4211144022 abstract "This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic." @default.
- W4211144022 created "2022-02-13" @default.
- W4211144022 creator A5024631418 @default.
- W4211144022 creator A5044128824 @default.
- W4211144022 creator A5068240928 @default.
- W4211144022 date "2001-06-28" @default.
- W4211144022 modified "2023-10-11" @default.
- W4211144022 title "Modal Logic" @default.
- W4211144022 cites W1992670332 @default.
- W4211144022 doi "https://doi.org/10.1017/cbo9781107050884" @default.
- W4211144022 hasPublicationYear "2001" @default.
- W4211144022 type Work @default.
- W4211144022 citedByCount "1293" @default.
- W4211144022 countsByYear W42111440222012 @default.
- W4211144022 countsByYear W42111440222013 @default.
- W4211144022 countsByYear W42111440222014 @default.
- W4211144022 countsByYear W42111440222015 @default.
- W4211144022 countsByYear W42111440222016 @default.
- W4211144022 countsByYear W42111440222017 @default.
- W4211144022 countsByYear W42111440222018 @default.
- W4211144022 countsByYear W42111440222019 @default.
- W4211144022 countsByYear W42111440222020 @default.
- W4211144022 countsByYear W42111440222021 @default.
- W4211144022 countsByYear W42111440222022 @default.
- W4211144022 countsByYear W42111440222023 @default.
- W4211144022 crossrefType "monograph" @default.
- W4211144022 hasAuthorship W4211144022A5024631418 @default.
- W4211144022 hasAuthorship W4211144022A5044128824 @default.
- W4211144022 hasAuthorship W4211144022A5068240928 @default.
- W4211144022 hasConcept C102993220 @default.
- W4211144022 hasConcept C107247716 @default.
- W4211144022 hasConcept C11191006 @default.
- W4211144022 hasConcept C119599485 @default.
- W4211144022 hasConcept C120665830 @default.
- W4211144022 hasConcept C121332964 @default.
- W4211144022 hasConcept C127413603 @default.
- W4211144022 hasConcept C134306372 @default.
- W4211144022 hasConcept C165801399 @default.
- W4211144022 hasConcept C17231256 @default.
- W4211144022 hasConcept C172385210 @default.
- W4211144022 hasConcept C185592680 @default.
- W4211144022 hasConcept C188027245 @default.
- W4211144022 hasConcept C192209626 @default.
- W4211144022 hasConcept C192609573 @default.
- W4211144022 hasConcept C199360897 @default.
- W4211144022 hasConcept C202444582 @default.
- W4211144022 hasConcept C203659156 @default.
- W4211144022 hasConcept C27508121 @default.
- W4211144022 hasConcept C2777796570 @default.
- W4211144022 hasConcept C33923547 @default.
- W4211144022 hasConcept C41008148 @default.
- W4211144022 hasConcept C71139939 @default.
- W4211144022 hasConcept C9652623 @default.
- W4211144022 hasConceptScore W4211144022C102993220 @default.
- W4211144022 hasConceptScore W4211144022C107247716 @default.
- W4211144022 hasConceptScore W4211144022C11191006 @default.
- W4211144022 hasConceptScore W4211144022C119599485 @default.
- W4211144022 hasConceptScore W4211144022C120665830 @default.
- W4211144022 hasConceptScore W4211144022C121332964 @default.
- W4211144022 hasConceptScore W4211144022C127413603 @default.
- W4211144022 hasConceptScore W4211144022C134306372 @default.
- W4211144022 hasConceptScore W4211144022C165801399 @default.
- W4211144022 hasConceptScore W4211144022C17231256 @default.
- W4211144022 hasConceptScore W4211144022C172385210 @default.
- W4211144022 hasConceptScore W4211144022C185592680 @default.
- W4211144022 hasConceptScore W4211144022C188027245 @default.
- W4211144022 hasConceptScore W4211144022C192209626 @default.
- W4211144022 hasConceptScore W4211144022C192609573 @default.
- W4211144022 hasConceptScore W4211144022C199360897 @default.
- W4211144022 hasConceptScore W4211144022C202444582 @default.
- W4211144022 hasConceptScore W4211144022C203659156 @default.
- W4211144022 hasConceptScore W4211144022C27508121 @default.
- W4211144022 hasConceptScore W4211144022C2777796570 @default.
- W4211144022 hasConceptScore W4211144022C33923547 @default.
- W4211144022 hasConceptScore W4211144022C41008148 @default.
- W4211144022 hasConceptScore W4211144022C71139939 @default.
- W4211144022 hasConceptScore W4211144022C9652623 @default.
- W4211144022 hasLocation W42111440221 @default.
- W4211144022 hasOpenAccess W4211144022 @default.
- W4211144022 hasPrimaryLocation W42111440221 @default.
- W4211144022 hasRelatedWork W142011187 @default.
- W4211144022 hasRelatedWork W1606143631 @default.
- W4211144022 hasRelatedWork W2101793126 @default.
- W4211144022 hasRelatedWork W2118891234 @default.
- W4211144022 hasRelatedWork W2123071520 @default.
- W4211144022 hasRelatedWork W2795425183 @default.
- W4211144022 hasRelatedWork W2963445947 @default.
- W4211144022 hasRelatedWork W3108798275 @default.
- W4211144022 hasRelatedWork W3210887649 @default.
- W4211144022 hasRelatedWork W3216606561 @default.
- W4211144022 isParatext "false" @default.
- W4211144022 isRetracted "false" @default.
- W4211144022 workType "book" @default.