{"id":"https://openalex.org/W1542943188","doi":"https://doi.org/10.1007/bfb0013989","title":"First-order future interval logic","display_name":"First-order future interval logic","publication_year":2005,"publication_date":"2005-11-23","ids":{"openalex":"https://openalex.org/W1542943188","doi":"https://doi.org/10.1007/bfb0013989","mag":"1542943188"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0013989","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0013989","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057993106","display_name":"G. Kutty","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"G. Kutty","raw_affiliation_strings":["Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055549913","display_name":"L.E. Moser","orcid":"https://orcid.org/0009-0006-9452-1246"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L. E. Moser","raw_affiliation_strings":["Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090264331","display_name":"P. M. Melliar\u2010Smith","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. M. Melliar-Smith","raw_affiliation_strings":["Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108188424","display_name":"Laura K. Dillon","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L. K. Dillon","raw_affiliation_strings":["Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103332236","display_name":"Y. S. Ramakrishna","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Y. S. Ramakrishna","raw_affiliation_strings":["Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering Department of Computer Science, University of California, Santa Barbara,","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5057993106"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2786,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.57247666,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"195","last_page":"209"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.756814181804657},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.6582711935043335},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6349174380302429},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5839692950248718},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5810872316360474},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.49413159489631653},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4876205027103424},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.4612710475921631},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4581637978553772},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.45407143235206604},{"id":"https://openalex.org/keywords/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.43896955251693726},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.43871310353279114},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4163048267364502},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3994981646537781},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3967529535293579},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.2863502502441406},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.06995624303817749}],"concepts":[{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.756814181804657},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.6582711935043335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6349174380302429},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5839692950248718},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5810872316360474},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.49413159489631653},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4876205027103424},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.4612710475921631},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4581637978553772},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.45407143235206604},{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.43896955251693726},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.43871310353279114},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4163048267364502},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3994981646537781},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3967529535293579},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2863502502441406},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.06995624303817749},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bfb0013989","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0013989","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1506588809","https://openalex.org/W1511398151","https://openalex.org/W1547265787","https://openalex.org/W1566242322","https://openalex.org/W1569897873","https://openalex.org/W1584940891","https://openalex.org/W1604973192","https://openalex.org/W2024016985","https://openalex.org/W2036034755","https://openalex.org/W2057354456","https://openalex.org/W2080960387","https://openalex.org/W2111324752","https://openalex.org/W2118296015","https://openalex.org/W2561675875","https://openalex.org/W2906838735","https://openalex.org/W3136473499","https://openalex.org/W6632812239","https://openalex.org/W6636141659"],"related_works":["https://openalex.org/W34682815","https://openalex.org/W4388397425","https://openalex.org/W4236864674","https://openalex.org/W4232065390","https://openalex.org/W4387318785","https://openalex.org/W4255026600","https://openalex.org/W2548795765","https://openalex.org/W117698297","https://openalex.org/W2134288141","https://openalex.org/W2110415540"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}