Matches in SemOpenAlex for { <https://semopenalex.org/work/W75794367> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W75794367 abstract "CTL (Computation Tree Logic) [3] is a logic used both for the synthesis and for the verification of concurrent programs. Usually presented in the Hilbert style (axiomatic) [6], it has been adapted for sequent calculus [4], but without normalization. The aim of the present work is to present a Natural Deduction system for CTL. For that reason the original language has been modified, and labelled formulas have been used. It has been proved that the system is correct and complete. Then the possibility of normalizing the proofs is studied and it is seen, as expected, that strong normalization is achieved in the system without" @default.
- W75794367 created "2016-06-24" @default.
- W75794367 creator A5075393216 @default.
- W75794367 creator A5091129860 @default.
- W75794367 date "2002-01-01" @default.
- W75794367 modified "2023-10-18" @default.
- W75794367 title "A natural deduction system for ctl" @default.
- W75794367 cites W1511386559 @default.
- W75794367 cites W1537854563 @default.
- W75794367 cites W1557413548 @default.
- W75794367 cites W1590315663 @default.
- W75794367 cites W1958397071 @default.
- W75794367 cites W2159753366 @default.
- W75794367 hasPublicationYear "2002" @default.
- W75794367 type Work @default.
- W75794367 sameAs 75794367 @default.
- W75794367 citedByCount "3" @default.
- W75794367 countsByYear W757943672012 @default.
- W75794367 countsByYear W757943672013 @default.
- W75794367 crossrefType "journal-article" @default.
- W75794367 hasAuthorship W75794367A5075393216 @default.
- W75794367 hasAuthorship W75794367A5091129860 @default.
- W75794367 hasConcept C108710211 @default.
- W75794367 hasConcept C11413529 @default.
- W75794367 hasConcept C118615104 @default.
- W75794367 hasConcept C136886441 @default.
- W75794367 hasConcept C144024400 @default.
- W75794367 hasConcept C147969180 @default.
- W75794367 hasConcept C154317977 @default.
- W75794367 hasConcept C167729594 @default.
- W75794367 hasConcept C185592680 @default.
- W75794367 hasConcept C19165224 @default.
- W75794367 hasConcept C198008173 @default.
- W75794367 hasConcept C199343813 @default.
- W75794367 hasConcept C199360897 @default.
- W75794367 hasConcept C202751555 @default.
- W75794367 hasConcept C25016198 @default.
- W75794367 hasConcept C2524010 @default.
- W75794367 hasConcept C2777686260 @default.
- W75794367 hasConcept C33923547 @default.
- W75794367 hasConcept C41008148 @default.
- W75794367 hasConcept C55493867 @default.
- W75794367 hasConcept C62073222 @default.
- W75794367 hasConcept C65880906 @default.
- W75794367 hasConcept C71924100 @default.
- W75794367 hasConcept C85343465 @default.
- W75794367 hasConcept C89421646 @default.
- W75794367 hasConceptScore W75794367C108710211 @default.
- W75794367 hasConceptScore W75794367C11413529 @default.
- W75794367 hasConceptScore W75794367C118615104 @default.
- W75794367 hasConceptScore W75794367C136886441 @default.
- W75794367 hasConceptScore W75794367C144024400 @default.
- W75794367 hasConceptScore W75794367C147969180 @default.
- W75794367 hasConceptScore W75794367C154317977 @default.
- W75794367 hasConceptScore W75794367C167729594 @default.
- W75794367 hasConceptScore W75794367C185592680 @default.
- W75794367 hasConceptScore W75794367C19165224 @default.
- W75794367 hasConceptScore W75794367C198008173 @default.
- W75794367 hasConceptScore W75794367C199343813 @default.
- W75794367 hasConceptScore W75794367C199360897 @default.
- W75794367 hasConceptScore W75794367C202751555 @default.
- W75794367 hasConceptScore W75794367C25016198 @default.
- W75794367 hasConceptScore W75794367C2524010 @default.
- W75794367 hasConceptScore W75794367C2777686260 @default.
- W75794367 hasConceptScore W75794367C33923547 @default.
- W75794367 hasConceptScore W75794367C41008148 @default.
- W75794367 hasConceptScore W75794367C55493867 @default.
- W75794367 hasConceptScore W75794367C62073222 @default.
- W75794367 hasConceptScore W75794367C65880906 @default.
- W75794367 hasConceptScore W75794367C71924100 @default.
- W75794367 hasConceptScore W75794367C85343465 @default.
- W75794367 hasConceptScore W75794367C89421646 @default.
- W75794367 hasLocation W757943671 @default.
- W75794367 hasOpenAccess W75794367 @default.
- W75794367 hasPrimaryLocation W757943671 @default.
- W75794367 hasRelatedWork W104504068 @default.
- W75794367 hasRelatedWork W1495244370 @default.
- W75794367 hasRelatedWork W1499474569 @default.
- W75794367 hasRelatedWork W1504859349 @default.
- W75794367 hasRelatedWork W1547013458 @default.
- W75794367 hasRelatedWork W1551997556 @default.
- W75794367 hasRelatedWork W1587012427 @default.
- W75794367 hasRelatedWork W1967844876 @default.
- W75794367 hasRelatedWork W2005507875 @default.
- W75794367 hasRelatedWork W2041060409 @default.
- W75794367 hasRelatedWork W2120620984 @default.
- W75794367 hasRelatedWork W2130524429 @default.
- W75794367 hasRelatedWork W2279194953 @default.
- W75794367 hasRelatedWork W2547601025 @default.
- W75794367 hasRelatedWork W2898966813 @default.
- W75794367 hasRelatedWork W334777499 @default.
- W75794367 hasRelatedWork W44030633 @default.
- W75794367 hasRelatedWork W44606644 @default.
- W75794367 hasRelatedWork W73703791 @default.
- W75794367 hasRelatedWork W99110181 @default.
- W75794367 isParatext "false" @default.
- W75794367 isRetracted "false" @default.
- W75794367 magId "75794367" @default.
- W75794367 workType "article" @default.