{"entities":{"Q386037":{"pageid":387804,"ns":120,"title":"Item:Q386037","lastrevid":61448412,"modified":"2026-04-10T23:26:22Z","type":"item","id":"Q386037","labels":{"en":{"language":"en","value":"Branching-time logics with path relativisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238121"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$B8FF368E-47AB-4FBC-B77D-FFBB8E199D96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4056bc61a60263e0a0ec7fa61950bb8a39b3b56c","datavalue":{"value":{"text":"Branching-time logics with path relativisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386037$5FEDD208-C852-461A-AC6A-4E21BC51CFED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76fdf984be337be09ddec0d0c69effd4cd077421","datavalue":{"value":"1297.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$51B04590-F159-4330-BEF1-B96861140878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40462a16b9cc04098cc18dfa55292a866d944377","datavalue":{"value":{"entity-type":"item","numeric-id":386035,"id":"Q386035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$D048039B-3FFE-40D0-BB8C-55CFB4BFB50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$06E81D50-08A0-4AC6-B3F6-C67BD9ED3632","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$1BF7102A-487E-4F65-8093-FB87682BC224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386037$5B8BD467-E214-48EB-A611-6389B6EA7098","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9cda603722202722f19339c0e84295bbe19098fb","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$FB84560D-D75B-4F41-8BDB-0318EE6D3DB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$81361EDF-CFA3-4FD4-BF8D-1DC21E524B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$870AD8DF-4350-4032-A063-6A2E3056DC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$D23E10C3-74A9-42BE-9922-283842A8081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$A592E0EA-EEB1-4BA3-A18A-9C5F8420751A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$54072A12-7650-406F-9C23-05FAC444D907","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd40d3dfcf056d618fddb69d71bacf3508be4edf","datavalue":{"value":"6238121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$236BCE8A-D69F-4479-9829-15D136E20E61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$E52F1300-7656-414A-939E-8AB3F48C9345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab95dfbcdceac6cb0c1480eb7dd795ff46e5c45","datavalue":{"value":"branching-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$A40A023F-B2EF-45A4-9145-93643C9F046E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30747cad2806dc90dc6a7979a7739b8dbfc8a647","datavalue":{"value":"\\(\\omega\\)-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$162977C2-FD48-4338-8B0F-DE92954FD061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d11af1f7bbea5725369d95bdd0a247f16ef4120","datavalue":{"value":"relativized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$6D4FB61D-754C-431B-8DD4-7D6CE6F5ED24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$31AEDD72-713C-4B55-9C0F-87E0337D5B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$E9ABDEB8-BA2E-4DD1-9E9E-786CE37CA052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$EDBEBD1B-4C77-497B-ADCC-974315EC0189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$7978AB8E-F312-4FC2-86B6-30D5D6702E42","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$7788815B-812C-41FC-9D3C-5A489D2E1C8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69b3860fb41589ec6b7dc89c6b02cb319559517c","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2013.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q386037$C1A43E64-5BB6-4899-B97F-F5576EF791C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c15a04fb20f2f9ef67cc7d976a74bffc94795de3","datavalue":{"value":"W2148033627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$37391C07-1C5D-475A-B077-6E57FF4FF4B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$ADDEB6E1-5212-403A-A289-48B38DE8678F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$FE0C2E81-DE6D-484D-BE9D-1E90FC8DD3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$BAC5299E-1A02-4E89-A1FE-7FC4F3F928CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d248a331d149488399eb14904ed98eedc43023c","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$148D5738-4382-4A78-8EFD-F71BC3F9B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd14a6d5411f9a37c669bec027452477a90db80","datavalue":{"value":{"entity-type":"item","numeric-id":5308377,"id":"Q5308377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$7F1CE307-6163-4BAF-B620-2F6E53E44C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$C22D26AF-5909-46EA-BCC2-01BCB9FC0AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46f762c9a8efd45bd5817d1e9f96d4701218d48","datavalue":{"value":{"entity-type":"item","numeric-id":3430687,"id":"Q3430687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$7F1CFBB5-3991-4761-AB9D-A94E1276E12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$2FACB143-183D-419F-AC3D-68C78AB25995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$284E741D-9C2D-4F8D-960A-0F876C26CD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$800C975F-E2D1-4CC4-A68F-782C102583F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b58e3c5a8bd0e8e00a61441b3d285e2b49d20a3","datavalue":{"value":{"entity-type":"item","numeric-id":3748269,"id":"Q3748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$3849AD7D-80F5-4471-A856-3919D2F6FE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$0778F095-7D9F-4889-BCD3-683C7EEC1412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$5E10E7CF-5040-4488-A31A-B49E757D15DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$32F72F86-F279-4538-9320-E6E97A606F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$56533F37-DF3B-4D6C-A462-4FA2573DC574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118e5e2b2fdb9187f08f43d87ad5abc140fe01f8","datavalue":{"value":{"entity-type":"item","numeric-id":5747771,"id":"Q5747771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$0111D6F6-75B9-421C-9064-A3F1329C652E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89579818d6e4d80a75d235c5b81c8830de4580cd","datavalue":{"value":{"entity-type":"item","numeric-id":931876,"id":"Q931876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$A67B921E-99B5-4B55-838D-744CE4DD7D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$DEC17C81-A5E7-4639-97A8-F500720CB205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$198D1520-C692-4E1D-A35F-07A33D3506D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f704deeacf685ba70b6b2ce20bba65bde381c","datavalue":{"value":{"entity-type":"item","numeric-id":4449218,"id":"Q4449218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$1D486B94-251A-4302-A2FB-56F25FBEF3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f77d08b66018a6f7b70bdab6ad41f0d44476859","datavalue":{"value":{"entity-type":"item","numeric-id":975478,"id":"Q975478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$93A7FD8D-901E-4861-809E-494E5C962621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c5d619f4fea19055cfdc761f46dc0fba43f752","datavalue":{"value":{"entity-type":"item","numeric-id":4931586,"id":"Q4931586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$F6701AE6-99D5-4305-8753-C2E675DF599E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20c77cca311b366cff19997c4533db649f8e26d","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$CA7D0CCC-090E-4F3D-A78D-A4897BB50F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efea0cb6fd0b89c60672609cf98a61fcdf693a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$A7BDC495-75C5-490B-ABF8-4AA3141DA618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200cd015b3ab9482ec0c8403f564d8f278b4166a","datavalue":{"value":{"entity-type":"item","numeric-id":5465872,"id":"Q5465872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$4169B479-E8E2-4222-9263-B368BDF8EA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa364678443b05b6b0ee1f7cc61fbddb8d88198d","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$D8B5352D-BCFE-4039-980E-CF48D893A60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601ce7898e4281227c5c615b21433d778c777f29","datavalue":{"value":{"entity-type":"item","numeric-id":3540063,"id":"Q3540063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$3CD54C37-4890-4240-B021-C5E3547D359D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$11049059-7AD4-4B31-8AD1-F2A0342B9A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$4AA09951-8573-4F61-83F6-650F6E36E2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$178737C3-3E4D-430D-BEF4-3F18B654D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$F34027ED-FDDB-4107-A2EF-40E2111D6F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$848B3DCB-3293-4B05-8CC7-B8A130632F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$26E0C3A9-4804-4123-B331-FFF2DEEC14F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aa0df6c0fc27786ebfa5ec52093be9eac8c44c","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386037$20A8FB18-C5A8-4265-ADB4-90ECECCDC720","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"302368b7340919311421313ad4aec41b97420ba0","datavalue":{"value":"10.1016/J.JCSS.2013.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386037$8C522649-F1AB-404A-8F76-007EB88F37EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"720e2ad14392350468b7d81289c51c9e22db305b","datavalue":{"value":"Temporal logics are a widespread tool in specification and verification of finite state systems. Branching-time logic CTL* is one of the more expressive languages used. It extends linear temporal logic, suitable to specify temporal properties along computation paths, with path quantifiers. The present paper extends CTL* by relativized quantifiers. For this, the model of finite state systems is modified by adding labels (alphabet symbols) to edges between nodes. In this way, an infinite path in the system defines an infinite word (\\(\\omega\\)-word), its so-called \\textit{trace}. The relativized path quantifiers now quantify only over such paths whose trace is an element in a fixed \\(\\omega\\)-language.NEWLINENEWLINEDifferent classes of \\(\\omega\\)-languages used in quantifier relativization are considered (regular, visibly pushdown, pushdown) and for each of them, expressivity, complexity of model checking, and complexity of satisfiability are studied. For example, model checking for CTL with arbitrary pushdown language remains polynomial-time decidable, model checking for CTL* relative to regular \\(\\omega\\)-languages remains PSPACE-complete, but becomes EXPTIME-complete for more complicated path languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q386037$21E43B2D-03C0-4357-B0E0-99F7CB7EBC6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d709d6dd81f1aaf86720046b345b7345adf591ea","datavalue":{"value":{"amount":"+0.8337389826774597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386037$2B156536-45EE-4762-880A-170F81239555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cea447b8d1c038bc75fc3e341ad825254526d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854487,"id":"Q1854487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c408a3693c6523df5a75ae38b3e99b8b1d3502","datavalue":{"value":{"amount":"+0.8134450316429138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386037$1ED318DD-5830-42B2-A8A8-8BCC98A7F90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1495ee277b7b49979150a8368e7aca2e9e2725","datavalue":{"value":{"amount":"+0.8110678791999817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386037$7D0E8BEE-EA0A-49CD-8A2F-34C6C1422BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f52c44e8a04282dc67511f397f76b3fe393a66f","datavalue":{"value":{"entity-type":"item","numeric-id":4536399,"id":"Q4536399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156af766dd697bb70aa80f49b3aa456a4d3546fa","datavalue":{"value":{"amount":"+0.8065435886383057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386037$061156CA-6519-4091-82E2-92F1AC909F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0cea7ae84e99f4811c66a72c9cd37c2c23333ad","datavalue":{"value":{"amount":"+0.8000678420066833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386037$F6D8C628-816D-4D83-9FDD-037523208E43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching-time logics with path relativisation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching-time_logics_with_path_relativisation"}}}}}