4 research outputs found
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
- Author
- B. Moszkowski
- Ben Moszkowski
- Ben Moszkowski
- Ben Moszkowski
- Colin Stirling
- Dexter Kozen
- Dexter Kozen and Rohit Parikh
- Hanpin Wang and Qiwen Xu
- Howard Bowman and Simon J. Thompson
- Jesper G. Henriksen and P. S. Thiagaraja
- Michael J. Fischer and Richard E. Ladner
- Orna Lichtenstein and Amir Pnueli
- P. [L.] Wolper
- Robert McNaughton
- Simon Bäumler Gerhard Schellhorn, Bogda
- Simon Bäumler Michael Balser, Florian N
- Wolfgang Thomas
- Y. Kesten and A. Pnueli
- Yaacov Choueka
- Yaacov Choueka and David Peleg
- Zhou Chaochen C. A. R. Hoare, and A. P.
- Publication venue
- 'Logical Methods in Computer Science e.V.'
- Publication date
- 01/01/2012
- Field of study
Interval Temporal Logic (ITL) is an established temporal formalism for
reasoning about time periods. For over 25 years, it has been applied in a
number of ways and several ITL variants, axiom systems and tools have been
investigated. We solve the longstanding open problem of finding a complete
axiom system for basic quantifier-free propositional ITL (PITL) with infinite
time for analysing nonterminating computational systems. Our completeness proof
uses a reduction to completeness for PITL with finite time and conventional
propositional linear-time temporal logic. Unlike completeness proofs of equally
expressive logics with nonelementary computational complexity, our semantic
approach does not use tableaux, subformula closures or explicit deductions
involving encodings of omega automata and nontrivial techniques for
complementing them. We believe that our result also provides evidence of the
naturalness of interval-based reasoning
The Same or Not the Same: Lineage-Specific Gene Expansions and Homology Relationships in Multigene Families in Nematodes
- Author
- A Sinha
- A Sommer
- A Sánchez-Gracia
- AD Moore
- AJ Rossum van
- AR Jex
- AS Wilkins
- B Hall
- B Persson
- C Bass
- C Dessimoz
- C Dieterich
- C Godel
- C. elegans Sequencing Consortium
- CA Desjardins
- CH Opperman
- CM Brown
- D Sheehan
- DN Keys
- DR Littler
- DR Nelson
- E Ghedin
- EJ Tarling
- EV Koonin
- F Abascal
- FC Almeida
- Gabriel V. Markov
- GP Wagner
- GV Markov
- GV Markov
- H Akaike
- H Megen Van
- J Dong
- J Gerhard
- J Srinivasan
- JA Napier
- JA Sheps
- JE Ladner
- JH Thomas
- JL Watts
- JP Demuth
- JW Thornton
- K Katoh
- K Yook
- KC Kiontke
- KL Kavanagh
- L Li
- LD Stein
- LT Son
- M Anisimova
- M Anisimova
- M Blaxter
- M Csurös
- M Dean
- M Gouy
- M Herrmann
- M Herrmann
- M Kisiela
- M Lynch
- M Mitreva
- M Perbandt
- M Punta
- M Zheng
- ML Blaxter
- MW Hahn
- N Borchert
- N Bose
- O Penn
- O Rieppel
- OA Asojo
- P Abad
- P Librado
- P Ternes
- Praveen Baskaran
- R Menzel
- R Owen
- Ralf J. Sommer
- RC Edgar
- RL Tatusov
- S Ayyadevara
- S Fang
- S Guindon
- S Pantalacci
- S Perally
- SB Carroll
- SH Reuss von
- SJ Ahn
- SJ Harrop
- SQ Le
- SR Eddy
- T Gabaldón
- T Kikuchi
- T Müller
- TH Lindblom
- WM Fitch
- WY Low
- X Li
- Y Peer Van de
- Z Yang
- Z Yang
- Z Zhao
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Literaturverzeichnis
- Author
- Abel Donald C
- Altaner
- Altaner Alfred
- Altenburger Friedhelm Mann
- Apostolopoulos Charalambos
- Apostolopoulou Georgia
- Armstrong Arthur H
- Balás David L
- Balás David L
- Balás David L
- Bardenhewer Otto
- Bardenhewer Otto
- Barnard Leslie W
- Basilius von Caesarea Briefe
- Bender Dietrich
- Bergjan
- Berschin Walter
- Bissels Die
- Bonner Art
- Bracht Katharina
- Brown Augustinus
- Burghardt Walter J
- Burkhard Zur
- Böhm Thomas
- Calcidius
- Cicero
- Cicero
- Clemens Alexandrinus Bd.
- Cyrill von Alexandrien
- Cyrill von Alexandrien
- Daut Die „halben
- de Boer Sibbele
- de Mendieta D.
- Dihle Albrecht
- Dihle Albrecht
- Dihle Albrecht
- Dobler Emil
- Dobler Emil
- Dobler Emil
- Dobler Emil
- Dománski Boleslaw
- Drobner Hubertus R
- Dräseke
- Dörrie Art
- Dörrie Art
- Dörries Griechentum
- Eusebius Werke Bd.
- Gahbauer
- Gaïth Jérôme
- Gigon Art
- Gregor von Nazianz Briefe
- Gregor von Nazianz Briefe
- Gregor von Nazianz Briefe
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Gregorii Nysseni Opera Hg.
- Grillmeier Alois
- Gross Mopsuestia
- Harnack
- Harrison
- Harrison
- Heine Ronald E
- Hoping Helmut
- Hübner Reinhard M
- Hübner Reinhard M
- In
- Jaeger
- Jaeger
- Jones Arnold H.M.
- Kallis Anastasios
- Kees
- Koch Heinrich A
- Kohlbacher Michael
- Konstantinou Evangelos
- Ladner Gerhard B
- Lampe Geoffrey W.H.
- Langerbeck Rez
- Macambley Against
- Markschies Art
- May Gerhard
- McClear Ernest
- Mercken H.P.F.
- Philo von Alexandrien
- Photius Bibliothèque
- Platon Phaidon
- Porphyrios
- Pseudo-Heliodorus
- Pseudo-Plutarch
- Pseudo-Plutarch
- Saint Basile Lettres
- Sharples Robert
- Siclari Alberto
- Siebeck Hermann
- Skard Eiliv
- Skard Eiliv
- Sorabji Richard
- Sorabji Richard
- Speigl Der
- Stead Christopher
- Stefano
- Stefano
- Stiernon Art
- Stockmeier Spätantike
- Stritzky
- Stüben Art
- Tertullian
- van Winden Jacobus C.M.
- van Winden Jacobus C.M.
- Verbeke Gérard
- Verbeke Gérard
- Verghese T.
- Völker Walther
- Waszink Jan
- Wendebourg Das
- Wermelinger Art
- Williams Rowan D
- Wolf Ursula
- Wolfson
- Wyller Egil A
- Young Frances M
- Young Frances M
- Young Frances M
- Publication venue
- 'Vandenhoeck & Ruprecht GmbH & Co, KG'
- Publication date
- Field of study
Literatur
- Author
- Act De Haeretico Comburendo A.D.
- Angels' Song
- Angels' Song
- Armstrong Karen
- Barratt Alexandra
- Bartlett Anne
- Basse Michael
- Baswell Christopher
- Bauer Johann Baptist
- Baumgartner Charles
- Bautz Friedrich Wilhelm
- Bautz Friedrich Wilhelm
- Beale H.
- Becker Alfons
- Bell David N
- Bell David N
- Bell G.
- Benedictus
- Benrath Gustav Adolf
- Berndt Rainer
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bernhard von Clairvaux
- Bestul Thomas H
- Bestul Thomas H
- Bestul Thomas H
- Birrell A.
- Blake Norman F
- Blake Norman F
- Bliss Alan Joseph
- Bloomfield Morton W
- Bloomfield Morton W
- Boenig Robert
- Bonaventura
- Bonaventura
- Bonaventura
- Bonaventura
- Bonner Gerald
- Borgolte Michael
- Bougerol Jacques-Guy
- Bowmann Leonard J
- Bradley Lagorio
- Braswell Mary Flowers
- Bressie Ramona
- Brooke Brooke
- Brown Loades
- Brunner Karl
- Buchmüller Wolfgang Gottfried
- Buddensieg Rudolph
- Buddensieg Rudolph
- Buddensieg Rudolph
- Butler Cuthbert
- Cannon Christopher
- Canticum Salomonis
- Canticum Salomonis
- Canticum Salomonis
- Carley James P
- Carter John
- Chadwick Henry
- Chambers Raymond W
- Chant des Anges
- Chappell Arthur B
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark John P.H.
- Clark Mary T
- Clarke Peter
- Clay
- Cleve Gunnel
- Cobban Alan B
- Coleman Thomas W
- Coleman Thomas W
- Colledge Chadwick
- Colledge Eric
- Colledge Eric
- Colledge Eric
- Constable The
- Constable The
- Contamine Philippe
- Corp
- Cottle Basil
- Cottle Basil
- Couilleau Guerric
- Courtenay William
- Curtius Ernst Robert
- Davis Charles
- Davis Charles
- Davis Virginia
- Davis Virginia
- Davy Introduction
- Davy Introduction
- de Ford Sara
- Del Mastro Walter Hilton's
- Dickinson John Compton
- Dideberg Dany
- Dideberg Dany
- Dideberg Dany
- Dimmick Simpson
- Dinzelbacher Hogg James
- Dinzelbacher Peter
- Dinzelbacher Peter
- Dinzelbacher Peter
- Dinzelbacher Peter
- Dinzelbacher Peter
- Donaghey B.S.
- Dorward Rosemary
- Dorward Rosemary
- Drecoll Volker Henning
- du Moustier Benoit
- Dumont Charles
- Dyas Edden
- Dyer Christopher
- Eine Epistel
- English Church History
- English Wallner
- English Wallner
- Flete William
- Flete William
- Frank Karl Suso
- Frank Karl Suso
- Frank Karl Suso
- Frank Karl Suso
- Fryde Greenway
- Furse Margaret Lewis
- Fösges Gerd
- Fössel Amalie
- Gandlau Thomas
- Gardner Helen L
- Gardner Helen L
- Gardner Helen L
- Gatta Julia
- Gatto C.
- Gaybba P.
- Gillespie L.
- Gillespie Vincent
- Gillespie Vincent
- Gillespie Vincent
- Gilley Sheils
- Gillon Art
- Gilson
- Given-Wilson Chris
- Given-Wilson Chris
- Glare P.G.W.
- Glasscoe Marion
- Glasscoe Marion
- Glasscoe Marion
- Glasscoe Marion
- Glasscoe Marion
- Glasscoe Marion
- Glasscoe Marion
- Glasscoe Marion
- Gneuss Helmut
- Gosden David
- Gougard
- Gough Map
- Green John D. A
- Griffiths Ralph
- Guarnieri Romana
- Hilton's Of Angel's Song
- Hilton's Of Angels' Song
- Hilton's Of Angels' Song
- Hudson Anne
- Hughes Jonathan
- Hussey Stanley S
- Hussey Stanley S
- Hussey Stanley S
- Hussey Stanley S
- Hussey Stanley S
- Hussey Stanley S
- Hussey Stanley S
- Jakob von Mailand
- Jakob von Mailand
- Jeffrey David Lyle
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Johannis Wyclif
- Kirchberger Claire
- Knighton Henry
- Knowles David
- Knowles David
- Knowles David
- Knowles David
- Knowles David
- Knowles Russell-Smith
- Kohout-Berghammer Bernhard
- Kuriyagawa Fumio
- Kuriyagawa Takamiya
- Kurze Sarnowsky
- Köpf Ulrich
- Köpf Ulrich
- Köpf Ulrich
- Köpf Ulrich
- Köpf Ulrich
- Köpf Ulrich
- L'échelle de la Perfection
- La Corte Daniel
- Ladner Gerhart B
- Lagorio Sargent
- Lagorio Valerie
- Lagorio Valerie
- Lambert Malcolm
- Lambert Malcolm
- Landgraf Arthur
- Langen August
- Lau Dieter
- Lawrence Veronica
- Leader Damian Riehl
- Leclercq Jean
- Leff Paris
- Leicht Irene
- Lemaire Jaques
- Leppin Volker
- Lerer Seth
- Lerner E.
- Lewis Katherine J
- Leyser Henrietta
- Leyser Henrietta
- Logan F. Donald
- Long Lynne
- Louth Andrew
- Louth Andrew
- Love
- Love
- Love Nicholas
- Lunn Augustine
- Löffler Milde
- Margareta Porete
- Margareta Porete
- Margareta Porete
- Margareta Porete
- Margery Kempe A New Translation
- Margery Kempe A New Translation
- Margery Kempe A New Translation
- Margery Kempe A New Translation
- Margery Kempe A New Translation
- Milosh Joseph Edmund
- Minnis Alastair
- Minnis Alastair
- Miquel Pierre
- Mixed Life
- Mollat du Jourdin Vauchez
- Moorman J. R. H.
- Mulligan Robert W
- Muzerelle Hg.
- Mystische Schriften
- Mörschel Ulrike
- Norwich
- Norwich
- Ogilvie-Thomson Sarah J
- Other Works
- Other Works
- Other Works
- Patent Rolls
- Perfection
- Perfection
- Perfection
- Perfection
- Perfection
- Perfection
- Perfection
- Perfection
- Praemunire A.D.
- Praemunire A.D.
- Pseudo-Dionysius Areopagita
- Ramnefalk Marie Louise
- Renaudin Paul
- Renevey Denis
- Renevey Denis
- Renevey Denis
- Revell Peter
- Reypens Art
- Rice Nicole Randolph
- Richard de Saint-Victor
- Richard de Saint-Victor
- Richard de Saint-Victor
- Richard de Saint-Victor
- Richard de Saint-Victor
- Richard Rolle
- Richard Rolle
- Riehle Wolfgang
- Riehle Wolfgang
- Rigg
- Ringer Jeffrey
- Ritzke-Rutherford Jean
- Robertson Jenny
- Robertson Jenny
- Rogers Nicholas
- Roman Christopher
- Rosenthal Joel T
- Ross Ellen M
- Ross Ellen M
- Rouse Richard H
- Ruh Kurt
- Ruh Kurt
- Ruh Kurt
- Ruh Kurt
- Russell-Smith Joy
- Russell-Smith Joy
- Rüegg Walter
- Sawyer Michael E
- Sayer Frank D
- Scase Wendy
- Schellenberger Bernardin
- Schellenberger Bernardin
- Schilling Deus Amicitia
- Schindler Alfred
- Schlosser Marianne
- Schlosser Marianne
- Schlosser Marianne
- Schlosser Marianne
- Schlosser Marianne
- Schopf Hubert
- Schwarz Reinhard
- Schweitzer Franz-Josef
- Schütz Ludwig
- Sitwell Gerard
- Sitwell Gerard
- Sitwell Gerard
- Sitwell Gerard
- Sitwell Gerard
- Sitwell Gerard
- Sleumer Albert
- Smith Ruth
- Somerset Watson
- Somerset Watson
- Spearing C.
- Spearing C.
- Spearritt Placid
- Speer Andreas
- Squire Aelred
- Staley Lynn
- Staley Lynn
- Steinmetz Karl-Heinz
- Stelten Leo F
- Stotz Peter
- Stotz Peter
- Stotz Peter
- Stölting Ulrike
- Sullivan John Edward
- Sutherland Annie
- Swanson Robert Norman
- Szarmach Paul E
- Szarmach Paul E
- Takamiya Toshiyuki
- The Lollard Conclusions A.D.
- Unknowing Hodgson
- Vom Engelsgesang
- von Brockhusen Gerda
- von Mutius Hans-Georg
- Vulgata
- Walter Hilton Jones
- Walter Hilton Jones
- Wehrli-Johns Martina
- Weitlauff Manfred
- Wenin Christian
- Wenner Francis
- Wicki Nikolaus
- Williams Rowan
- Wilson Richard M
- Windeatt Barry
- Winkler Gerhard B
- Winkler Gerhard B
- Winkler Gerhard B
- Winkler Gerhard B
- Winkler Gerhard B
- Wogan-Browne Jocelyn
- Woodward Michael
- Wöhrer Franz
- Wöhrer Franz
- Wöhrer Franz
- Wöhrer Franz
- Yorkshire Writers
- Publication venue
- 'Vandenhoeck & Ruprecht GmbH & Co, KG'
- Publication date
- Field of study